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

Portabilityportable
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

SAT.PBO

Description

Pseudo-Boolean Optimization (PBO) Solver

Documentation

data SearchStrategy Source

Constructors

LinearSearch 
BinarySearch 
AdaptiveSearch 
UnsatBased 
MSU4 

data Options Source

Constructors

Options 

Fields

optLogger :: String -> IO ()
 
optUpdateBest :: Model -> Integer -> IO ()
 
optUpdateLB :: Integer -> IO ()
 
optObjFunVarsHeuristics :: Bool
 
optSearchStrategy :: SearchStrategy
 
optTrialLimitConf :: Int
 

defaultOptions :: OptionsSource

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

tweakParams :: Solver -> [(Integer, Lit)] -> IO ()Source