satchmo-backends-1.8.2: driver for external satchmo backends
Satchmo.Solver.Pcosat
Description
textual interface to Precosat/Picosat solver, cf. http:fmv.jku.atprecosat
solve :: SAT (Decoder a) -> IO (Maybe a)Source
using :: FilePath -> SAT (Decoder a) -> IO (Maybe a)Source