slapnet.cabal 992 Bytes
Newer Older
1 2 3
name:                slapnet
version:             0.1.0.0
synopsis:            Safety and Liveness Analysis of Petri Nets with SMT solvers
Philipp Meyer's avatar
Philipp Meyer committed
4 5 6
description:
    SLAPnet is a tool to check safety and liveness properties of Petri nets
    using SMT solvers such as Z3, Yices or CVC4.
7 8 9 10 11 12 13 14 15
license:             GPL-3
license-file:        LICENSE
author:              Philipp Meyer
maintainer:          philipp.j.meyer@gmail.com
category:            Formal Methods
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

Philipp Meyer's avatar
Philipp Meyer committed
16 17 18 19
source-repository head
  type: git
  location: git://github.com/cryptica/slapnet.git

20 21
executable slapnet
  main-is: Main.hs
Philipp Meyer's avatar
Philipp Meyer committed
22
  other-modules:
23
  -- other-extensions:
24
  build-depends:       base >=4 && <5, sbv, parsec, containers, transformers,
25
                       bytestring, mtl, stm, async, parallel-io
26 27
  hs-source-dirs:      src
  default-language:    Haskell2010
28
  ghc-options:         -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N