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

Safe HaskellNone
LanguageHaskell2010

ToySolver.OmegaTest.Misc

Documentation

checkRealByCAD :: VarSet -> [Atom Rational] -> Bool Source

checkRealBySimplex :: VarSet -> [Atom Rational] -> Bool Source