blob: 30305772f95f9d98ca11a2ee7609e34ddc857b70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
pkgbase = stormchecker
pkgdesc = A modern probabilistic model checker
pkgver = 1.8.1
pkgrel = 1
url = https://www.stormchecker.org
arch = i686
arch = x86_64
license = GPL3
makedepends = cmake
depends = boost
depends = eigen
depends = glpk
depends = gmp
depends = hwloc
depends = xerces-c
depends = z3
depends = carl-storm
optdepends = spot: support for LTL formulas
source = storm-1.8.1.tar.gz::https://github.com/moves-rwth/storm/archive/1.8.1.tar.gz
sha256sums = 13de6e7816f2b796db3557ac6b058e2ccab9cd129e243cfce93dd7cdd82f3ee1
pkgname = stormchecker
|