%FILENAME%
cadical-3.0.1-2-armv7h.pkg.tar.xz

%NAME%
cadical

%BASE%
cadical

%VERSION%
3.0.1-2

%DESC%
A simplified, fast and reliable CDCL SAT solver

%CSIZE%
748532

%ISIZE%
3678425

%SHA256SUM%
1aa916412e7a7eb46f5e26cd82d32339cc69dba5c466cf1598628603d45d3e67

%URL%
https://github.com/arminbiere/cadical

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1791672745

%PACKAGER%
Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>

%DEPENDS%
glibc
libgcc
libstdc++

%OPTDEPENDS%
7zip: 7z compressed input/output support
bzip2: bzip2 compressed input/output support
gzip: gzip compressed input/output support
xz: xz and LZMA compressed input support

%MAKEDEPENDS%
git

%CHECKDEPENDS%
gzip
zlib

