%FILENAME%
cryptominisat5-5.11.4-2.1-i686.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-2.1

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

%CSIZE%
1003587

%ISIZE%
2599994

%MD5SUM%
cd80b843254e209ea5a841842d7494e3

%SHA256SUM%
ad5f8c82ca9b882152107caaa87b848b070bcd2f1d584f94e1812ec386237f0c

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ+lCUACgkQyOj1oK+bp+etgggAk48n6iQgG1EJz8rbMcRWy2+3oCG2+Kxm06EWe60hRcKQ1vIw6R1eX5JPSg9fuRx9P1MskYwZFxGp596YQgYO6eE8z+gfXA5+YPNIYP47eK+iwh1ADe6XqTVPs0VM4YAn/q25vhcUMYKUBAH3JNGatmoMlhMobRfwSarTwYABs5JSvBBKQ2+raKVKiesX3FpSmHNEAN/l+C5NIQ5AGU9yeZxzMCUy0QMqyK9Raq9PGDhy5dOMfq8Gnz09n0hyqm+oZ8xMYIfqfThhrClaphW1nu3zBL6IGYBLgwVquI10iGmSnkbiqTO0t/42QL4yYlRqyeR+l0Bo3wsdVVEBThzgvQ==

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1681822468

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
zlib
gcc-libs
boost-libs
sqlite
m4ri

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man
python-setuptools

