CArL-Storm - the Computer ARithmetic and Logic library for the probabilistic model checker Storm

March 25, 2026 ยท View on GitHub

Build Status GitHub release DOI

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.