toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Portabilitynon-portable (BangPatterns)
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

SAT.PBO.UnsatBased

Description

 

Documentation

data Options Source

Constructors

Options 

Fields

optLogger :: String -> IO ()
 
optUpdateBest :: Model -> Integer -> IO ()
 
optUpdateLB :: Integer -> IO ()
 

defaultOptions :: OptionsSource

solve :: Solver -> [(Integer, Lit)] -> Options -> IO (Maybe Model)Source

solveWBO :: Solver -> [(Lit, Integer)] -> Options -> IO (Maybe (Model, Integer))Source