sci-mathematics/prob-bin
Animator, constraint solver and model checker for B, Event-B, CSP, TLA+, Z
Screenshots
-
prob-bin-1.15.1-* ~amd64
View 
Download 
Browse License: EPL-1.0 Overlay: eventb-rossi
ChangeLog
commit 0efa6d4e500df72cdaabc2293b70df49d332d8b8
Author: Denis Efremov <efremov@linux.com>
Date: Tue Jun 9 08:45:09 2026 +0400
sci-mathematics/prob-bin: new package, add 1.15.1
Prebuilt ProB Tcl/Tk distribution: the prob (Tcl/Tk GUI) and probcli
(command line) SICStus-Prolog binaries, with the bundled parser jars and
native helper libraries. Source exists but needs the commercial SICStus
compiler, so it is unreasonable to build in Portage; hence -bin.
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/prob-bin: new package, add 1.15.1
Prebuilt ProB Tcl/Tk distribution: the prob (Tcl/Tk GUI) and probcli
(command line) SICStus-Prolog binaries, with the bundled parser jars and
native helper libraries. Source exists but needs the commercial SICStus
compiler, so it is unreasonable to build in Portage; hence -bin.
Signed-off-by: Denis Efremov <efremov@linux.com>