Package Details: prob 1.9.3-3

Git Clone URL: https://aur.archlinux.org/prob.git (read-only, click to copy)
Package Base: prob
Description: ProB Animator and Model Checker
Upstream URL: https://www3.hhu.de/stups/prob/
Licenses: EPL 1.0
Submitter: bserckx
Maintainer: Jrnr601
Last Packager: Jrnr601
Votes: 0
Popularity: 0.000000
First Submitted: 2017-11-22 12:05
Last Updated: 2020-06-20 20:04