%FILENAME%
cadical-3.0.1-2.1-x86_64.pkg.tar.zst

%NAME%
cadical

%BASE%
cadical

%VERSION%
3.0.1-2.1

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

%CSIZE%
1198734

%ISIZE%
3520901

%SHA256SUM%
c73e8473829bafb5cd75525bc11100e965e94ebdc376ab9a386293bac38ba25f

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1791672045

%PACKAGER%
ALHP x86-64-v3 <alhp@harting.dev>

%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

