sci-mathematics/rodin-headless
Headless toolchain to build, model-check, and prove Rodin Event-B models
Screenshots
-
rodin-headless-4.0~amd64
View 
Download 
Browse License: MIT Overlay: eventb-rossi
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.