CDCL

A SAT solver written in Haskell. Original Author Thanh Nam Pham.

TODOs

[ ] analyze and fix backjumping, currently only simple backtracking

[ ] introduce watched literals

[ ] profile and adapt data structures where sensible

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
app		app
src/CDCL		src/CDCL
test		test
.dir-locals.el		.dir-locals.el
.stylish-haskell.yaml		.stylish-haskell.yaml
CDCL.cabal		CDCL.cabal
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock