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

%NAME%
cadical

%BASE%
cadical

%VERSION%
2.1.3-1

%DESC%
Simple CDCL satisfiability solver

%CSIZE%
923109

%ISIZE%
5855363

%SHA256SUM%
3c12e41c2a916fa4533465d417974b82d2caf8d186b07f1991f3aa354cb36965

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1739217151

%PACKAGER%
AUR Builder <luca+aurbuilder@acul.me>

%DEPENDS%
gcc-libs
glibc

