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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-1

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

%CSIZE%
989464

%ISIZE%
2579171

%MD5SUM%
d680b871ab574b984d74b4747ab64fec

%SHA256SUM%
d25f02c41b16b38a317ce0144ee8809a5b9a554805a69fda1e2438bee00d459b

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEHQACgkQrx0hme8KPM9dqBAA7W4wDbUDEe2lgelVcDWkxtlztf+kn9/sTSOtNgrODo4ElZmwlO5GXS0S1w+Ag7ysPRCVZFvV+QiByMsxpujcSuaHldGM1hrq/yA5905ii3RX5mqlUB+sdCXstb8a9R6iidZL1mr8xk1p9iO3BG9O8Rky9bjnOVzC6pM+xRi9XCIzfWmyiVj41Ttmn0LsOcnWbrwgImi0UI5VxRlG38Ic0jago7Lv8ZgeDsGDjsPY6aOjrqBckdXGUZody77JcL2S/XDH+HXDSjp20+qGchDMQ7pwBkX2Z6SR8ps6//T3QzCGoZA4QmtCsDo4TsveAV8hqdoPBnZULOMaYNjJBdIoIFXAKSXG8RT2e+cXRe8+LlHahver6TqLiRWFIy8qbXw1hrTtUDx2hAOlQ4W5Vx7sO28by5wV6uZ/vzVD0EGeiFnppNaE+YTX8TT4ymjGlinaUhXYJgQjLm2l8qhVupFM3JlRFU97wy9rzqCEhfngzUXSTAMatdHuaqU/+2OoPNWyXTmc92X30O5Cy7sMvvUjfqP7UaoAOCnJA2xN0XPT4W7vhFQ6vWvWyBwnCJ6fmM030QARvNzITO4ncrooP+RB56Aq77/P8MYqikPRJQDuyzXSNkBxHvzImTKqK8rXVZ+n34YDNOZ20xNl+Gl1FfjfT8wZVBhXWOVlnHqYy1t4Rh4=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1707429640

%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

