SMT Solvers Plug-in
From Event-B
Revision as of 15:04, 24 September 2010 by imported>Fages
Introduction
The SMT plug-in allows to use SMT solvers within Rodin.
For the moment, it can handle some basic arithmetic proof obligations but still needs to be improved to be much more efficient.