sci-mathematics/eventb-checker
Standalone validator for Event-B models
Screenshots
-
eventb-checker-1.6~amd64
View 
Download 
Browse License: MIT Overlay: eventb-rossi -
eventb-checker-1.5~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.