%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAcIACgkQrx0hme8KPM8ORA/8CSmn1BgW9X7+WRNdPaYUWy1iPEW2CjlESSHXDez6TwWAz9Kur/uPqvfDUmKOn4K99jJeCBP6pDtF2Chz/6HWIQbeNKG3KAxhukLbw0yi8IH8WQY6I3WMbYbseEI8Qr314qm0oadneSwkfzVmiF2onX3bF+cuChHjN536UQ5KZNGcQvTT4wWOes+Rvkk30DfAkhVJeAm0JcOScgrBzi9QQrI9ezSjgNfLyOt9eaS2GoGSXuwqk9Kxg/HDcShBxWpPN2wiOFvJQE4HHeszE1VSTXWRluLtdEBQ9+fy8XVhCKTLWyhnuZBCYjjnNCH5qhdiP9IwgUlq8H0fitZnAwRrrpgbNg8e+sG1aOC0qyvF+Q8nugkwaAng91pGhTQP6mrtRkTMBGLPkvGQseL8LHNoK+bszGbF2TTfQIxIRXUHdtFvOISaJLa96cDXGeOnowjiMu4Ajc6LaihDPPW6QpnMKdyvsVw1tGpfFRGCWIeTtPI2iilvr+5XsyHTWdMAOaCqWWEW5uaTJdKaSMjsa3L36WNP49+21R0uebcKWfLtExI86mKDkYiGJWgvEb8/6Ll6Mthy6O4KWvSznhL4826Z2im1doCNb5fMsrP6BMleF4ceWIsjU0KkVe+v6TSXDFvWnNE/QlKjPmW2N5DJD3PcKS/8N3mP3qKzO8qTfmtYInI=

%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

