Difference between revisions of "SMT Solvers Plug-in"
From Event-B
Jump to navigationJump to searchimported>Fages (New page: == Introduction == The SMT plug-in allows to use SMT solver within Rodin.) |
imported>Fages |
||
| Line 1: | Line 1: | ||
== Introduction == | == Introduction == | ||
| − | The SMT plug-in allows to use SMT | + | The SMT plug-in allows to use SMT solvers within Rodin. |
| + | |||
| + | == Installing == | ||
| + | # Install the SMT plug-in: | ||
Revision as of 14:55, 24 September 2010
Introduction
The SMT plug-in allows to use SMT solvers within Rodin.
Installing
- Install the SMT plug-in:
