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
Bugs
| Bug # | Severity | Platform | Status | Description |
|---|
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title,
to do a more through search please visit: http://bugs.gentoo.org.