Rodin is available for download at the Rodin Download page: http://wiki.event-b.org/index.php/Rodin_Platform_Releases