The latest version of funsat is 0.6.2-0.
funsat
Version 0.5.2 revision 0 uploaded by DenisBueno.
Package meta
- Synopsis
- A modern DPLL-style SAT solver
- Description
Funsat is a native Haskell SAT solver that uses modern techniques for solving SAT instances. Current features include two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. Our goal is to facilitate convenient embedding of a reasonably fast SAT solver as a constraint solving backend in other applications. Currently along this theme we provide unsatisfiable core generation, giving (hopefully) small unsatisfiable sub-problems of unsatisfiable input problems (see Funsat.Resolution).
- Author
- Denis Bueno
- Bug reports
- n/a
- Category
- Algorithms
- Copyright
- n/a
- Homepage
- http://github.com/dbueno/funsat
- Maintainer
- Denis Bueno <dbueno@gmail.com>
- Package URL
- n/a
- Stability
- beta