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

Repository files navigation

slapnet

Safety and Liveness Analysis of Petri Nets with SMT solvers

About

Safety and Liveness Analysis of Petri Nets with SMT solvers

GPL-3.0 license

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages