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
Upload dateWed Feb 27 04:53:56 UTC 2008
Uploaded byDenisBueno
Downloads165 total (19 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees