Verimag

Mjollnir

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

See online : site

Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 11 ; visits: 471784