[Rodin-b-sharp-user] SMT Solvers Plug-in v0.1.0 released

[Yoann G. <yoa...@sy...>]

Dear Rodin Users,

I am delighted to announce the release of the SMT Solvers Plug-in for 
Rodin v2.3.

It can be installed from the main Rodin update site : 
http://rodin-b-sharp.sourceforge.net/updates.

You will find all needed instructions on its dedicated page of the 
Event-B wiki : http://wiki.event-b.org/index.php/SMT_Plug-in.

Best regards,

-- 
------------------------------------------------------------------------
Yoann GUYOT                           Tél. : (+33)(0)1 76 60 40 28
Ingénieur Méthodes Formelles

SYSTEREL
------------------------------------------------------------------------
Standard / Fax : (+33)(0)4 42 90 41 20 / 29     site : www.systerel.fr
------------------------------------------------------------------------