sat-micro-hs: A minimal SAT solver
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.
| Versions | 0.1, 0.1.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 27 05:21:16 UTC 2008 |
| Uploaded by | DenisBueno |
| Built on | ghc-6.8 |
| Build failure | ghc-6.10 (log) |
Downloads
- sat-micro-hs-0.1.1.tar.gz (Cabal source package)
- package description (included in the package)