This is the README for CArL-Storm - the Computer ARithmetic and Logic library for the probabilistic model checker Storm. CArL-Storm is based on the Carl library.
moves-rwth/carl-storm
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|