sci-mathematics/eventb-animate
Animate Event-B models with the ProB model checker
Screenshots
-
eventb-animate-5.0~amd64
View 
Download 
Browse License: Apache-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.