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

Safe Haskell	None

SAT.Integer

Documentation

data Expr Source

Constructors

Expr [(Integer, [Lit])]

Instances

Num Expr
VectorSpace Expr
AdditiveGroup Expr

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

linearize :: Encoder -> Expr -> IO ([(Integer, Lit)], Integer)Source

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

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

eval :: Model -> Expr -> Integer Source