sci-mathematics/prob2-ui
JavaFX-based animator and model checker built on ProB
Screenshots
-
prob2-ui-1.3.1~amd64
View 
Download 
Browse License: EPL-2.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.