blob: 9d2782beacff0cc67d2969f6829acb18785c4f9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = glucose
pkgdesc = Parallel SAT solver based on Minisat, with glue clauses.
pkgver = 4.2.1
pkgrel = 1
url = http://www.labri.fr/perso/lsimon/glucose/
arch = i686
arch = x86_64
license = MIT
depends = gcc-libs
depends = zlib
source = https://github.com/audemard/glucose/archive/refs/tags/4.2.1.tar.gz
sha256sums = a6d4af223e851b50ec6cdbd34b10ce7c8958e372b6c590c589b6d976a03c9a0d
pkgname = glucose
|