Mjollnir performs quantifier elimination and simplification for the theory of linear rational/real arithmetic, according to algorithms published by David Monniaux 2008-2010.
Contact |
Site Map |
Site created with SPIP 2.1.20 +
AHUNTSIC
[CC License]
Logged in visitors: 20 ; visits: 303924
|
|
|