Difference between revisions of "SMT Solvers Plug-in"
From Event-B
Jump to navigationJump to searchimported>Fages |
imported>Fages |
||
Line 1: | Line 1: | ||
== Introduction == | == Introduction == | ||
The SMT plug-in allows to use SMT solvers within Rodin. | The SMT plug-in allows to use SMT solvers within Rodin. | ||
+ | |||
+ | |||
+ | == Usage == |
Revision as of 15:00, 24 September 2010
Introduction
The SMT plug-in allows to use SMT solvers within Rodin.