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