Skip to content

mgudemann/sat-solver

Repository files navigation

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

Ideas

Programming Pearl, SAT Solver in Prolog

About

SAT Solver written in Haskell

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published