blob: 8ebdf15f88e2939639cf0d2c72b2af20460879a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = cadical
pkgdesc = A simple CDCL satisfiability solver
pkgver = 1.9.5
pkgrel = 1
url = http://fmv.jku.at/cadical/
arch = x86_64
license = MIT
depends = gcc-libs
depends = glibc
options = !lto
source = https://github.com/arminbiere/cadical/archive/rel-1.9.5.tar.gz
b2sums = 68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212
pkgname = cadical
|