%FILENAME%
cryptominisat-5.11.21-2-x86_64.pkg.tar.zst

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-2

%DESC%
A modern, multi-threaded, feature-rich, simplifying SAT solver

%CSIZE%
988125

%ISIZE%
2571418

%MD5SUM%
97630711dc22bce31ea2388ae36904fc

%SHA256SUM%
8082123056870de724f8d588e433ffb24c5c823a52f7d60b4f2dfa92d9b904b7

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCdooUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZUXRAAhYuk1PAwag9LE3tVA6JrBOu3V/1Xg0WK5T2IRxSpdhrPV6MzK7OmuLpk+lyhAk6pObCH9ishbz7hCcguMmja5tvYaxekJh5MNsuQil7VypvbGMkTSbTVpzJRoiOxVUUxnNEL71K+T1uBsbp37V3Yc6ib7uPGRQD2r+dwiJyKZNbmwLVtHv2EibtAy9IrtgQM6qkkA2spEfhgGKPBfSXlhfkZRF6RMQipnyP2FN44c/LF7r3kFktfjcejqim8bHtBBrO88IUxPqTQJHiTNsrVAGi9hVMTpoIOxLYywbTLxCRvR2M4NgdMiFc9vgh0ViSeny2q+7reLVXmx9avGrqUf45nacrArsKd8AFAxIhvFwUA+fm0N+6VOpWNBdvmPcsT22b0VsEIFLZIx72QEbShPAOf8/rEK6/5XSAP2E5Xx1dSumL69qP5ENqHUXG/GVdpFTEvtuy+u1O7kp2wD1OG0FJsYC5pJwCOtt0sCtQvpQlPJKFXBP1HAoldTE2dN35jktNpoNtL2VgtX+7afL8kGzrokq+hSxZR4qCtpOB6pNcM5Gy8SC/TsJgge8QBDcYkBX8zn7RRyk7hUlDyW5Hgb0sP5iwUpJLhoSTjkMVTRjtQS/BbKF5FYFnRzJGMQEySJk//JHFJr3NcVUlBKbheDg9zTs7D/6yUXT0HEdUBPUo=

%URL%
https://github.com/msoos/cryptominisat/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1712406616

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
gcc-libs
glibc
zlib

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
cmake
help2man
python-build
python-installer
python-setuptools
python-toml
python-wheel
vim

