Search Criteria
Package Details: carl-storm 14.25-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/carl-storm.git (read-only, click to copy) |
---|---|
Package Base: | carl-storm |
Description: | The Computer ARithmetic and Logic library for the probabilistic model checker Storm |
Upstream URL: | https://github.com/moves-rwth/carl-storm |
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) |