%FILENAME%
cryptominisat5-5.11.4-1.0-pentium4.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-1.0

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

%CSIZE%
994950

%ISIZE%
2591495

%MD5SUM%
0452a3c404ab62f4c9e5d76e23553b4f

%SHA256SUM%
c8b1a877b8f990ad3766643be27b3b9a21890c71cb2d1026066776df2654644e

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmM88eUACgkQyOj1oK+bp+f3wwf/XHPKh2Mz1PqLVtbXTpg1RNLDONHNMoOeyJYG1niGdTY6//nKZ2KNHgfKbiKarOjnkZYHrBIU0bwkX/rcDS/qXcXTbEDo3cHJjpiWEMY96Hi6KAW/UZAIRoQOZnS6av0wB/MyUm4uwSnOPPIkfgbVKTZ4fJUrx7azEP3EJpV9cSkIVWnGDdZMt2VkTsnH35Ib0N2Trqnp1fDNpEXLjQFd6rdiZxQZZdIHpGhFu150h2rWctc9RSwoXuAvIZikM0XRaZn4jf/qiBtq4PIjfBvgVvoVFstK20EkdJQPxSGmevxruuzWzZKc0XWen4yXhTQDXed5yN0HG3/JwcDK/KZ7pA==

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

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1664938300

%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

