sci-mathematics/prob-bin
Animator, constraint solver and model checker for B, Event-B, CSP, TLA+, Z
Screenshots
-
prob-bin-1.15.1-r1-* ~amd64ltsmin
View 
Download 
Browse License: EPL-1.0 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.