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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-1

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

%CSIZE%
971199

%ISIZE%
2541251

%MD5SUM%
093f7eec183dfffd449c05dbdc3470bc

%SHA256SUM%
1b2983c078c9bf69ac1c359766ba0058e376dc43bc3489ed6e2f7d5d2a14f899

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmM8abwACgkQek52CV2KUuT4/wf+PNSRFCIB+5jx7ViNBV0c9bvDSij4RJKXKWec2n3FwuTaGvq02G06co+tThzhAQK2LmGIVNIhzXQIyDCov6hMFI92lOyzGNn3ppwBxljhw+OjPzMBzQ9NQkoQb6DgNNUd+732SUMCfA3vtWyIGtzVhCrRB5C8GmsbteZzUrzQX1YvBpo0ifQp4PDgQqHZgiq2xbL512BRL0yT3qCZKER2XWu9VRH4AErLq0wrn7JrO4BdN8CmyL/bN52z7Hhfn9GGFz3Bk9GNLckUVLIGkLWq1xnBELcQ//WqRXZGQ4MZXrmJL2HqT7xcjAsVL1M+jxJtRQCRf4ADD3iyglGke8pNHA==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1664903356

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

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

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man
python-setuptools

