sci-mathematics/prob2-ui
JavaFX-based animator and model checker built on ProB
Screenshots
-
prob2-ui-1.4.0~amd64ltsmin system-prob
View 
Download 
Browse License: EPL-2.0 Overlay: eventb-rossi -
prob2-ui-1.3.1-r1~amd64ltsmin system-prob
View Download Browse License: EPL-2.0 Overlay: eventb-rossi
Runtime Dependencies
prob2-ui-1.4.0
>=virtual/jre-21:*
media-libs/alsa-lib
virtual/opengl
x11-libs/gtk+:3
x11-libs/libX11
x11-libs/libXtst
x11-libs/libXxf86vm
system-prob?
( >=sci-mathematics/prob-bin-1.16.1-r1[ltsmin?
] <sci-mathematics/prob-bin-1.16.2 )
>=dev-java/java-config-2.2.0-r3
media-libs/alsa-lib
virtual/opengl
x11-libs/gtk+:3
x11-libs/libX11
x11-libs/libXtst
x11-libs/libXxf86vm
system-prob?
( >=sci-mathematics/prob-bin-1.16.1-r1[ltsmin?
] <sci-mathematics/prob-bin-1.16.2 )
>=dev-java/java-config-2.2.0-r3
prob2-ui-1.3.1-r1
>=virtual/jre-21:*
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3