%FILENAME%
cryptominisat5-5.11.4-3-x86_64.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-3

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

%CSIZE%
971652

%ISIZE%
2545814

%MD5SUM%
cfcbeb151346fbb13d8572ce9c956838

%SHA256SUM%
c3828edc71daa61737feed0dfdd8ca973473f472b536c448c3a39dc6bd614304

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoMACgkQrx0hme8KPM++zA//QSCPuCC8tsN71vdA2w+PskpArNJiSaI3+pEbT8kyk2lsATXbOMV0kwYKzqGGcovzUF10MOLqQNQy4vQPBJDvUgGWcOzdIXl6pzkE/kNGwXguPYoVnieTt8cshhH0U2U+cWRrM7Ikbh8PiLyClqN71zwrVzpvON1Ph8rrNt5dCkLuVk0kQeno8t8SwKkAFVv4oyf4vH9zvn+TlvuKO7t0+NdeOWm/C7+8p6MmpIpYoBMa3rco6qB+RBYhJ2rBeRTeSKKLJJy2F3RP0XEU/hdFQN0kyQDaelcgBNtRHAYtTn9SHLDvGBchkyf6786a+8VsZhbsREPOytBQlbZ1YcN0LDNcZ2SlmLln2VtEy257u6c6Vz3bMHtNzYbRrrTxhj5WqvQKqsyAmAaFGQLxWxq745bqzhVXc85VtbHwQg+jJiOZsm87RqgNvyZUt/juBPeCNqZtSBWHgMOZeTAxgF2gd0i3GiEjje0G4SW3mXaaxDdZ8Ns6l5U8kSaxHqpiIX61cd2tsafMSG5WKCMdaxVz2cAkFNHTTmipJVzF5LjzIqEFr5WTQaOrDd91XDglebhx3aBWI2Ogjy6lsSHC2VoE0lqkcrwl3vXGbrZ36q/tjBRSHYuBhj00cV4PWoiWR/Ssjo446+X/Zug3MWuwNmE/pvUSUjUy0RU0J2C5sHcN5I0=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1680871959

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

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

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man
python-setuptools

