Initial commit

90fcfb19 · Philipp Meyer · 90fcfb19 · 90fcfb19 · 90fcfb19
Commit 90fcfb19 authored Apr 17, 2014 by Philipp Meyer
--- a/.gitignore
+++ b/.gitignore
+dist
+cabal-dev
+*.o
+*.hi
+*.chi
+*.chs.h
+.virtualenv
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+cabal.config
--- a/LICENSE
+++ b/LICENSE
--- a/README.md
+++ b/README.md
+slapnet
+=======
+
+Safety and Liveness Analysis of Petri Nets with SMT solvers