sat-micro-hs
Version 0.1.1 revision 0 uploaded by DenisBueno.
Package meta
- Synopsis
- A minimal SAT solver
- Description
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.
- 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