blob: ff556767f627a9245abc49beef1848e8f8f02688 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = limboole
pkgdesc = A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas.
pkgver = 1.2
pkgrel = 2
url = http://fmv.jku.at/limboole/
arch = x86_64
license = GPL3
source = http://fmv.jku.at/limboole/limboole1.2.tgz
source = http://fmv.jku.at/picosat/picosat-960.tar.gz
source = https://codeload.github.com/lonsing/depqbf/tar.gz/version-6.03
sha256sums = fc7ec6db5088da2846937e472668d283fba46ca8e840aaf6f13ea11619637cb6
sha256sums = edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817
sha256sums = 9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e
pkgname = limboole
|