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

%NAME%
cadical

%BASE%
cadical

%VERSION%
3.0.1-2

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

%CSIZE%
1154549

%ISIZE%
3402117

%SHA256SUM%
b4d3ba55aa8dcc2d10dacb5f99e9bbf45237332ad136503347e0c3c36a814807

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKt/0ACgkQeGxj8zDXy5KnOQ/+JmoOGYTLacSTjA6EulgwrAFm5o0rtAt/JM363VHawSoI154ZIXfS1igamtzsqArD79mmQbdnYiXtcYmloBwyFvLmiT6DhSOC98qIWLgqWC3GsXVW7DnH6t9hO/+ar35Gy/G0OC6/rO4YrlnTZ39jDA5z7/zn1iQnlQpg8/T8tAlhWkYC4pnjp2DFrmKsVWI4SIMBwF9pSz8O+SymgZD+GdJanZIARNQC62N4BE4WpHrhSTfK9VtnhQSA5JhG8DNucNUzG2SiuyI/tKe4gjI1R/z8vufiuh+D0EoiXPJFfZuIVgAyNrTf78SBwoFPTdC0ZcJ7IDpgSFHSexfLQXgzcXN8XIAotJRB1X4SW+rauGdxGZNW5fpJU7DyuHEe2n08FJEQLEeVVDjum9TityQJDd89hkyACZAT7eX5Fm3Pg/EEVvETmeFpWlDsfgRp4TU6nwl4Qznj9DO57r26g68P22ZMpJU+zoXfXCPuhmoEfmPTpjQj0vwtD8wQvcgGb997whT18TkWgYcSuLTaCvmSAUBvMlQ9f6wzbSZ1cpj3iHwfXe2pmovlmodsuYPpHcMxI7tHsu8tfOagf4weeXbpczo+K7d6KFUsmOzVj6Aapmhkow24CPlbtb+tzc7JkxEEwFWf177eKGC00jkvSrtAqRggLU05cpMTKZYYjxpFvb4=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1791669884

%PACKAGER%
Felix Yan <felixonmars@archlinux.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

