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

Safe HaskellNone
LanguageHaskell2010

ToySolver.SAT.Integer

Documentation

newtype Expr Source #

Constructors

Expr PBSum 

Instances

Num Expr Source # 

Methods

(+) :: Expr -> Expr -> Expr #

(-) :: Expr -> Expr -> Expr #

(*) :: Expr -> Expr -> Expr #

negate :: Expr -> Expr #

abs :: Expr -> Expr #

signum :: Expr -> Expr #

fromInteger :: Integer -> Expr #

VectorSpace Expr Source # 

Associated Types

type Scalar Expr :: * #

Methods

(*^) :: Scalar Expr -> Expr -> Expr #

AdditiveGroup Expr Source # 

Methods

zeroV :: Expr #

(^+^) :: Expr -> Expr -> Expr #

negateV :: Expr -> Expr #

(^-^) :: Expr -> Expr -> Expr #

type Scalar Expr Source # 

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

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

addConstraint :: Encoder -> OrdRel Expr -> IO () Source #

addConstraintSoft :: Encoder -> Lit -> OrdRel Expr -> IO () Source #

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