Package Details: carl-storm 14.25-1

Git Clone URL: (read-only, click to copy)
Package Base: carl-storm
Description: The Computer ARithmetic and Logic library for the probabilistic model checker Storm
Upstream URL:
Licenses: MIT
Conflicts: carl
Replaces: carl-master14
Submitter: volkm
Maintainer: volkm
Last Packager: volkm
Votes: 0
Popularity: 0.000000
First Submitted: 2023-07-03 20:50 (UTC)
Last Updated: 2023-07-03 20:50 (UTC)

Dependencies (6)

Required by (1)

Sources (1)