toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
SAT.PBO.UnsatBased
Description
data Options Source
Constructors
Fields
defaultOptions :: OptionsSource
solve :: Solver -> [(Integer, Lit)] -> Options -> IO (Maybe Model)Source
solveWBO :: Solver -> [(Lit, Integer)] -> Options -> IO (Maybe (Model, Integer))Source