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

Safe HaskellNone
LanguageHaskell2010

ToySolver.SAT.Integer

Documentation

newtype Expr Source

Constructors

Expr PBSum 

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