sci-mathematics/rodin-headless
Headless toolchain to build, model-check, and prove Rodin Event-B models
Screenshots
-
rodin-headless-4.0~amd64
View 
Download 
Browse License: MIT Overlay: eventb-rossi
Runtime Dependencies
rodin-headless-4.0
>=virtual/jdk-17:*
app-arch/tar
app-arch/unzip
app-arch/zip
net-misc/curl
x11-base/xorg-server[xvfb]
x11-libs/gtk+:3
app-arch/tar
app-arch/unzip
app-arch/zip
net-misc/curl
x11-base/xorg-server[xvfb]
x11-libs/gtk+:3