SMT Solvers Plug-in
From Event-B
Revision as of 14:55, 24 September 2010 by imported>Fages (→Introduction)
Introduction
The SMT plug-in allows to use SMT solvers within Rodin.
Installing
- Install the SMT plug-in:
The SMT plug-in allows to use SMT solvers within Rodin.