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
ChangeLog
commit 820966d1a1408eb1c5ed9f0d37109998ae6d9f05
Author: Denis Efremov <efremov@linux.com>
Date: Tue Jun 9 08:45:09 2026 +0400
sci-mathematics/prob2-ui: new package, add 1.3.1
JavaFX-based ProB UI, packaged from the upstream multi-platform fat jar
(bundles the JavaFX runtime, so a plain JRE 21+ is enough).
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: Denis Efremov <efremov@linux.com>
Date: Tue Jun 9 08:45:09 2026 +0400
sci-mathematics/prob2-ui: new package, add 1.3.1
JavaFX-based ProB UI, packaged from the upstream multi-platform fat jar
(bundles the JavaFX runtime, so a plain JRE 21+ is enough).
Signed-off-by: Denis Efremov <efremov@linux.com>