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

Safe HaskellNone
LanguageHaskell2010

ToySolver.SAT.Integer

Documentation

data Expr Source

Constructors

Expr [(Integer, [Lit])] 

Instances

newVar :: Solver -> Integer -> Integer -> IO Expr Source

linearize :: Encoder -> Expr -> IO (PBLinSum, Integer) Source

addConstraint :: Encoder -> Rel Expr -> IO () Source

addConstraintSoft :: Encoder -> Lit -> Rel Expr -> IO () Source

eval :: IModel m => m -> Expr -> Integer Source