satchmo-backends-1.8.0: driver for external satchmo backends

Safe HaskellSafe-Infered

Satchmo.Solver.Yices

Documentation

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

solveW :: Maybe Seconds -> MaxWeight -> SAT (Decoder a) -> IO (Maybe a)Source