blob: a677090566c3b3caa6dee0a5fb87794f3c35119c (
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.0
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-2.1.0.tar.gz
b2sums = 23eeb40a9f0f7aadb492b067c241be09c93df05ee4ab558ab3936b2b6863a5086ace8ba01b421f47d09eb8852c2a3ee94d88804ea9a71063286d08c4a3339332
pkgname = cadical
|