The sat-micro-hs package

[Tags: lgpl, program]

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.


Properties

Versions0.1, 0.1.1
Dependenciesbase, containers, haskell98, mtl, parse-dimacs, pretty
LicenseLGPL
AuthorDenis Bueno
MaintainerDenis Bueno <dbueno@gmail.com>
Stabilityalpha
CategoryAlgorithms
Executablessat-micro
UploadedWed Feb 27 05:21:16 UTC 2008 by DenisBueno
Downloads258 total (18 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees