The latest version of funsat is 0.6.2-0.
funsat
Version 0.4 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. It is possible to use funsat both as a library and as a standalone executable.
- Author
- Denis Bueno
- Bug reports
- n/a
- Category
- Algorithms
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Denis Bueno <dbueno@gmail.com>
- Package URL
- n/a
- Stability
- alpha