slapnet.cabal 992 Bytes
Newer Older
1
name:                slapnet
Philipp Meyer's avatar
Philipp Meyer committed
2
version:             0.9.0.0
3
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