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

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.

Name		Name	Last commit message	Last commit date
.github		.github
cmake		cmake
doc		doc
doxygen-conf		doxygen-conf
resources		resources
src		src
.clang-format		.clang-format
.clang-format-ignore		.clang-format-ignore
.dockerignore		.dockerignore
.git-blame-ignore-revs		.git-blame-ignore-revs
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
CMakeLists.txt		CMakeLists.txt
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md

Navigation Menu

Uh oh!

Repository files navigation

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

About

Releases

Packages

Used by

Contributors

Languages

Uh oh!

Latest commit

History

Folders and files

Repository files navigation

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

About

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages