CArL-Storm - the Computer ARithmetic and Logic library for the probabilistic model checker Storm
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.