SMT Solvers Plug-in

From Event-B
Revision as of 15:04, 24 September 2010 by imported>Fages
Jump to navigationJump to search

Introduction

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

For the moment, it can handle some basic arithmetic proof obligations but still needs to be improved to be much more efficient.

Usage

Retrieved from ‘https://wiki.event-b.org/index.php?title=SMT_Solvers_Plug-in&oldid=9128’