8000 GitHub - tquatmann/carl-storm: The Computer ARithmetic and Logic library for the Storm model checker
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

tquatmann/carl-storm

 
 

Repository files navigation

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

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.

About

The Computer ARithmetic and Logic library for the Storm model checker

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 97.5%
  • CMake 2.0%
  • Other 0.5%
0