%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%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmXFT88ACgkQek52CV2KUuQppQf/U6atljBL+epxz10fkjPMM3W6R+rQnffqTMM0MV1aORP8DrwDKkm8mnsopYJr6UqA82x1Z7aZdN3Tv3R+qpAMSfIlxPVeDDVTxnY72BmAj9A3wJx5N+ZqB73bOfX27y0o9UbbznX/KMYXhAlsPU6bR1KjpwWh9Y2ta6BjMWKyhflHv7y2QCB28ZLKXDL3Dd0C8dlYk2CaZ2CYXp8P6Lch6r9beRcokvqvdkxeaEKDgh/wMJFGx/v1d/BOn8jXeEq0/kK2vGGj5X3MNiMX9qeJlGEIfy1vZorNpYRicKPARTyNChVj54yoaYlx/dFZ1ybkx5KHhLkG4xGCtt6y0OdekA==

%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

