slapnet

Safety and Liveness Analysis of Petri Nets with SMT solvers

Name		Name	Last commit message	Last commit date
Latest commit History 195 Commits
benchmarks		benchmarks
examples		examples
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
slapnet.cabal		slapnet.cabal

Provide feedback