@hackage sat-micro-hs0.1.1
A minimal SAT solver
Categories
License
LicenseRef-LGPL
Maintainer
Denis Bueno <dbueno@gmail.com>
Links
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (0)
Dependents (1)
@hackage/acme-everything
A complete (in the logical sense) SAT solver with non-chronological backtracking. This is a Haskell implementation of (most of) the minimal OCaml solver described in the paper "SAT-MICRO: petit mais costaud!" by Sylvain Conchon, Johannes Kanig, and Stephane Lescuyer.