6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
carl-git 17.08.r2.g8f78930b-1 0 0.00 CArL - the Computer ARithmetic and Logic library s14h
carl-master14-git c++14.18.12.r9.gb9ff46d9-1 0 0.00 CArL - the Computer ARithmetic and Logic library (master14 branch) s14h
prismmodelchecker-git r3619.06bba360-1 0 0.00 PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour s14h
profeat-bin 1.0.0.0-1 0 0.00 Feature-oriented Engineering for Probabilistic Systems s14h
stormchecker 1.3.0-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h
stormchecker-git 1.3.0.r380.g28f8c9d82-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h

6 packages found. Page 1 of 1.