SMT Solvers Plug-in

From Event-B
Revision as of 14:48, 24 September 2010 by Fages (talk | contribs) (New page: == Introduction == The SMT plug-in allows to use SMT solver within Rodin.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Introduction

The SMT plug-in allows to use SMT solver within Rodin.