FunsatA modern DPLL-style SAT solver | |
Download |
Funsat Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- Denis Bueno
- Publisher web site:
- http://github.com/dbueno/funsat/wikis
- Operating Systems:
- Mac OS X
- File Size:
- 40 KB
Funsat Tags
Funsat Description
A modern DPLL-style SAT solver 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. Funsat aims to facilitate convenient embedding of a reasonably fast SAT solver as a constraint solving backend in other applications.NOTE: Funsat is licensed and distributed under the terms of the LGPL license. Requirements: · GHC
Funsat Related Software