Rodin 64 bit

From Event-B

Revision as of 14:27, 28 April 2022 by Idir (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Since release 2.4, Rodin is available for 64 bit platforms (Windows, Linux, Mac).

Since release 3.4, Rodin is no longer available for 32 bit platforms.

Check the latest download:

http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/

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

Navigation menu