Gentoo Portage Overlays - sci-mathematics/eventb-animate

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/eventb-animate

Animate Event-B models with the ProB model checker

Screenshots

https://github.com/eventb-rossi/eventb-animate

eventb-animate-7.1

-* ~amd64

ltsmin system-prob

View

Download

Browse License: Apache-2.0

Overlay: eventb-rossi

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs