Package Details: prismmodelchecker 4.10.1-1

Git Clone URL: https://aur.archlinux.org/prismmodelchecker.git (read-only, click to copy)
Package Base: prismmodelchecker
Description: PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour
Upstream URL: https://www.prismmodelchecker.org/
Licenses: GPL2
Conflicts: prismmodelchecker-git
Submitter: nomadalgia
Maintainer: nomadalgia
Last Packager: nomadalgia
Votes: 0
Popularity: 0.000000
First Submitted: 2026-09-09 08:39 (UTC)
Last Updated: 2026-09-09 08:39 (UTC)

Dependencies (1)

Required by (0)

Sources (1)

Latest Comments

nomadalgia commented on 2026-09-09 08:50 (UTC)

The other package seemed out of date, which is why I put this one up.
Tested with the example Knuth die algorithm on their website and it seems to work.
I probably won't be paying much attention to this after my class ends,
so please nudge me in case I forget to update when a new version comes out.