Mjollnir performs quantifier elimination and simplification for the theory of linear rational/real arithmetic, according to algorithms published by David Monniaux 2008-2010.
Mjollnir performs quantifier elimination and simplification for the theory of linear rational/real arithmetic, according to algorithms published by David Monniaux 2008-2010.
