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