toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
ToySolver.FourierMotzkin.FOL
solveFormula :: [Var] -> Formula (Atom Rational) -> SatResult Rational Source
eliminateQuantifiers :: Formula (Atom Rational) -> Maybe (Formula (Atom Rational)) Source
eliminateQuantifiers' :: Formula (Atom Rational) -> Maybe (DNF Lit) Source