Main.hs 111 Bytes
Newer Older
1
2
3
4
module Main where

main :: IO ()
main = putStrLn "Safety and Liveness Analysis of Petri Nets with SMT solvers"