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