blob: 5120f77fc7cc120aaba76e640c09d83515120458 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Tue Jan 30 23:00:15 UTC 2018
pkgbase = glucose
pkgdesc = Parallel SAT solver based on Minisat, with glue clauses.
pkgver = 4.1
pkgrel = 1
url = http://www.labri.fr/perso/lsimon/glucose/
arch = i686
arch = x86_64
license = MIT
depends = gcc-libs
depends = zlib
source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-4.1.tgz
md5sums = 7f13be91b3cd71bd02d4f37570fee011
pkgname = glucose
|