From: Yoann G. <yoa...@sy...> - 2011-10-19 14:54:46
|
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 ------------------------------------------------------------------------ |