SMT Solvers Plug-in
From Event-B
Revision as of 14:48, 24 September 2010 by imported>Fages (New page: == Introduction == The SMT plug-in allows to use SMT solver within Rodin.)
Introduction
The SMT plug-in allows to use SMT solver within Rodin.
The SMT plug-in allows to use SMT solver within Rodin.