%FILENAME%
cadical-3.0.1-2-aarch64.pkg.tar.xz

%NAME%
cadical

%BASE%
cadical

%VERSION%
3.0.1-2

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

%CSIZE%
787284

%ISIZE%
4057605

%MD5SUM%
585ec4bad770758713b3364684435963

%SHA256SUM%
f309243af2a261c4f8ebffa224e2eaab8e51bacaa5584f80e66560c534fffc5e

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrKwaUACgkQdxk/FSvb5qaHwA/+MLN2V11zLRK1oFKRP7eMzoyf0F/2eqqgNX0vDt7C/B1mRFs2Yp7Dfk2fV/RlUD2XChVZthSss+WRVar2Ct0nz1nPJCQG//JNDxnUtHAoFMqZKaQCGmlPsxV1yDqLB92yGK7j4g5gZ4vWWsuSnzMTnvNbxj2lMmeAXhQsl2eqLeJUenN0la4GfyErGzWqSF2iwg7b6tMUGQTJZkMjw7r33IKGRMLIl8cv3oLUMpFij2IQK5G/b2/y8tFF7flA9/MqUjCVvR0zo//O/GTDYGRlTDiMenywP3Hy29nxjK1TdwZKPOkX3uZzIDwEJ3Y7QDThGDKYuSAhNL0bFxokG9a9OxFUjFjagAD5BjViFW0iUUYUxMnxeQ8weS6qTMHoqbL25RCEbAwC9xBoZaBE4t1N80AZnMiawbPAA4Y+AHBxevyMr3FctsMhl1+6e8c1nSExPlrXHeYyAyBSeuwXC7uqiPUFyN/+b06k9LhDmmIAZD788R8nIx/4htdveqd57cor6PwxpkcSM84P/4efa/1uxADNYAt2qaOfTNI6gXmwYslVc7jCgBAdA95eQb/BRn9Yh+QBWyvABNOuT3KCYnl1N0gTkkVsGxrW5J/1lLdpJFAoCdddVBGRGleK6EHfFnbb1BC/hLTH+fLS3F7PGX7sEWmvzxcrvGAT6xEDG0aj+78=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1791672684

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

