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 8f4f526f authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Updated cabal config

parent c8843173
-- Initial slapnet.cabal generated by cabal init. For further
-- documentation, see
name: slapnet name: slapnet
version: version:
synopsis: Safety and Liveness Analysis of Petri Nets with SMT solvers synopsis: Safety and Liveness Analysis of Petri Nets with SMT solvers
-- description: description:
SLAPnet is a tool to check safety and liveness properties of Petri nets
using SMT solvers such as Z3, Yices or CVC4.
license: GPL-3 license: GPL-3
license-file: LICENSE license-file: LICENSE
author: Philipp Meyer author: Philipp Meyer
maintainer: maintainer:
-- copyright:
category: Formal Methods category: Formal Methods
build-type: Simple build-type: Simple
extra-source-files: extra-source-files:
cabal-version: >=1.10 cabal-version: >=1.10
source-repository head
type: git
location: git://
executable slapnet executable slapnet
main-is: Main.hs main-is: Main.hs
-- other-modules: -- other-modules:
-- other-extensions: -- other-extensions:
build-depends: base >=4.6 && <4.7 build-depends: base >=4.6 && <4.7, sbv, parsec
hs-source-dirs: src hs-source-dirs: src
default-language: Haskell2010 default-language: Haskell2010
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