The sat-micro-hs package (version 0.1.1)
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.
| Other versions | 0.1 |
|---|---|
| Dependencies | base, containers, haskell98, mtl, parse-dimacs, pretty |
| License | LGPL |
| Author | Denis Bueno |
| Maintainer | Denis Bueno <dbueno@gmail.com> |
| Stability | alpha |
| Category | Algorithms |
| Executables | sat-micro |
| Upload date | Tue Feb 26 21:21:16 PST 2008 |
| Uploaded by | DenisBueno |
| Built on | ghc-6.8 |
Downloads
- sat-micro-hs-0.1.1.tar.gz (Cabal source package)
- package description (included in the package)