%FILENAME%
cadical-3.0.0-1-x86_64.pkg.tar.zst

%NAME%
cadical

%BASE%
cadical

%VERSION%
3.0.0-1

%DESC%
Simple CDCL satisfiability solver

%CSIZE%
2551143

%ISIZE%
8319042

%SHA256SUM%
dd1bac6f8160b8b28331240598debbc399248039c3dfd0115986b085b4d7a810

%URL%
https://fmv.jku.at/cadical/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1766549262

%PACKAGER%
Garuda Builder <team@garudalinux.org>

%DEPENDS%
gcc-libs
glibc

