satchmo-backends-1.8.1: driver for external satchmo backends

Satchmo.Solver.Minisat

Documentation

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

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