diff options
author | 2015-04-27 17:35:59 +0200 | |
---|---|---|
committer | 2015-04-28 18:52:12 +0200 | |
commit | 72644c7f7b3f0fcc56779acfcfa4bfc9f041ebde (patch) | |
tree | e7ca6d2bb16047debdbc0232519c99a11d9a8d0d /configure.ml | |
parent | 148cf78a4d85ec56818a8ff00719a775670950b9 (diff) |
maintenance micromega plugin
- add a nra tactic (similar to nia) for non-linear real arithmetic tactic
- fix a long-standing bug in the reification code
- port to the new proof-engine
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions