movesrwth/carl-storm

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

Latest release: 10 months ago - 2,184 downloads - 424 dependencies

More details on packages.ecosyste.ms - JSON

Versions

14.32.1

Published: 10 months ago Last synced: 5 months ago

14.30

Ubuntu 25.04

Published: about 1 year ago Last synced: 8 months ago

ci

Published: almost 2 years ago Last synced: over 1 year ago