Portability | portable |
---|---|

Stability | provisional |

Maintainer | masahiro.sakai@gmail.com |

Safe Haskell | None |

Naïve implementation of Fourier-Motzkin Variable Elimination

Reference:

- data Lit
- project :: Var -> [Atom Rational] -> [([Atom Rational], Model Rational -> Model Rational)]
- projectN :: VarSet -> [Atom Rational] -> [([Atom Rational], Model Rational -> Model Rational)]
- eliminateQuantifiers :: Formula (Atom Rational) -> Maybe (Formula (Atom Rational))
- solveFormula :: [Var] -> Formula (Atom Rational) -> SatResult Rational
- solve :: VarSet -> [Atom Rational] -> Maybe (Model Rational)