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
The Computer ARithmetic and Logic library for the Storm model checker
C++NOASSERTION