Starting from 2021-07-01, all LRZ GitLab users will be required to explicitly accept the GitLab Terms of Service. Please see the detailed information at and make sure that your projects conform to the requirements.

Commit c8843173 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Setup cabal package and main source file

parent 54eca1af
import Distribution.Simple
main = defaultMain
-- Initial slapnet.cabal generated by cabal init. For further
-- documentation, see
name: slapnet
synopsis: Safety and Liveness Analysis of Petri Nets with SMT solvers
-- description:
license: GPL-3
license-file: LICENSE
author: Philipp Meyer
-- copyright:
category: Formal Methods
build-type: Simple
cabal-version: >=1.10
executable slapnet
main-is: Main.hs
-- other-modules:
-- other-extensions:
build-depends: base >=4.6 && <4.7
hs-source-dirs: src
default-language: Haskell2010
module Main where
main :: IO ()
main = putStrLn "Safety and Liveness Analysis of Petri Nets with SMT solvers"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment