GitHub - xpewster/SatApproxWeb: App that gives use of a fast Monte Carlo approximation MAX-SAT solver using ClojureScript and Go.

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.clj-kondo/.cache/2021.09.25		.clj-kondo/.cache/2021.09.25
parser		parser
satapprservice		satapprservice
webapp		webapp

About

App that gives use of a fast Monte Carlo approximation MAX-SAT solver using ClojureScript and Go.

No releases published