toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Algorithm.OmegaTest.Misc
checkRealByCAD :: VarSet -> [Atom Rational] -> BoolSource
checkRealBySimplex :: VarSet -> [Atom Rational] -> BoolSource