satchmo-backends-1.8.0: driver for external satchmo backends

Safe HaskellSafe-Infered

Satchmo.Solver.Pcosat

Description

textual interface to Precosat/Picosat solver, cf. http:fmv.jku.atprecosat

Documentation

solve :: SAT (Decoder a) -> IO (Maybe a)Source

using :: FilePath -> SAT (Decoder a) -> IO (Maybe a)Source