toysolver-0.0.6: 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