satchmo-backends-1.8.2: driver for external satchmo backends
Satchmo.Solver.Yices
solve :: Maybe Seconds -> SAT (Decoder a) -> IO (Maybe a)Source
solveW :: Maybe Seconds -> MaxWeight -> SAT (Decoder a) -> IO (Maybe a)Source