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

Copyright(c) Masahiro Sakai 2012
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ToySolver.Arith.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