blob: ae86031714342470944263adfb0abdb6ba8c3b79 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = kissat
pkgdesc = A keep it simple and clean bare metal SAT solver written in C
pkgver = 4.0.1
pkgrel = 2
url = https://fmv.jku.at/kissat
arch = x86_64
license = MIT
depends = glibc
conflicts = kitty
source = kissat-4.0.1.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.1.tar.gz
b2sums = ca0699e48601ef0c5b0284f75bc6f5a260f9b594411921f8c502402fe6f5b2fc5890ebceb81d7b01c87fe75489d91263d7d4edf94e00e73ec1d868bc36e626e8
pkgname = kissat
|