slapnet.cabal 823 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
22
23
executable slapnet
  main-is: Main.hs
  -- other-modules:
  -- other-extensions:
Philipp Meyer's avatar
Philipp Meyer committed
24
  build-depends:       base >=4.6 && <4.7, sbv, parsec
25
26
  hs-source-dirs:      src
  default-language:    Haskell2010