ProB Java API

Revision as of 11:04, 18 May 2021 by David Geleßus (talk | contribs) (Update ProB2-UI link)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Additional Material


Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site This version of ProB is deprecated. We recommend that you either use the standard plugin for Rodin (which still uses the old Java API) or use the new ProB2-UI based on JavaFX which can also directly load machines from Rodin workspaces.