Mjollnir
Mjollnir implements various quantifier eliminations algorithms for the theory of real (or rational) linear arithmetic.
[ Homepage ]
| Author: | David Monniaux. |
| Last modification date: | 10-Jul-2009 |
| Version: | 2009-07-10 |
| Development status: | Beta |
| Kind: | Applications written in Caml :: Scientific software |
| License: | Open Source :: CeCILL |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://www-verimag.imag.fr/~monniaux/mjollnir.html |