Package Details: prob 1.7.1-3

Git Clone URL: https://aur.archlinux.org/prob.git (read-only)
Package Base: prob
Description: ProB Animator and Model Checker
Upstream URL: https://www3.hhu.de/stups/prob/
Licenses: EPL 1.0
Submitter: DenBrahe
Maintainer: DenBrahe
Last Packager: DenBrahe
Votes: 0
Popularity: 0.000000
First Submitted: 2017-11-22 12:05
Last Updated: 2018-01-13 13:45