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
Runtime Dependencies
prob-bin-1.15.1-r1
dev-lang/tk
dev-libs/gmp
sys-apps/util-linux
>=virtual/jre-1.8:*
ltsmin?
( sci-mathematics/ltsmin[prob] )
dev-libs/gmp
sys-apps/util-linux
>=virtual/jre-1.8:*
ltsmin?
( sci-mathematics/ltsmin[prob] )