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

Portabilityportable
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Algorithm.ContiTraverso

Description

References:

Documentation

solve :: MonomialOrder Var -> VarSet -> OptDir -> Expr Rational -> [Atom Rational] -> Maybe (Model Integer)Source

solve' :: MonomialOrder Var -> VarSet -> Expr Integer -> [(Expr Integer, Integer)] -> Maybe (Model Integer)Source