Main.hs 288 Bytes
Newer Older
1
2
module Main where

Philipp Meyer's avatar
Philipp Meyer committed
3
4
5
6
import System.Environment (getArgs)

import Parser (parseFile)

7
main :: IO ()
Philipp Meyer's avatar
Philipp Meyer committed
8
9
10
11
12
13
14
main = do
        args <- getArgs
        putStrLn "Safety and Liveness Analysis of Petri Nets with SMT solvers"
        let file = head args
        net <- parseFile file
        print net