movesrwth/carl-storm : ci

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

Latest release: 11 months ago - 5,338 downloads - 424 dependencies