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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-2.0

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

%CSIZE%
995428

%ISIZE%
2591903

%MD5SUM%
490b3535f63a92da9e16e909829109f0

%SHA256SUM%
f07c58c4df91f185bd824abc60f1292feab3dd200a1e8597d85471950365f8cb

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmPP56cACgkQyOj1oK+bp+cYbggAh85YmexWxyFv/iTDaedjNzvNm7XCGle2mF2Iy7x7aUk+lPLmiTQGFCOc8wDCtXwms9+Hs+62udVUWw9mKdMd/M3Jq72gjUpAtTJLHOM+nVR0SKGhXtVV84fetoMoAYfamkWU2hCRnzToL1jWwPETDTkoF2kKd4hLg3Wic3jKsOdjdGMPD0HhEo5oBRKa+KdfPHBULzpRvES9PIpHZCOZ+O+M83MQUgtxoDR0fkF57raJQf7kMdrRByssFkxrohoQybbvZs6NQFcuh98tFtZazng329cndZBGmJFDdPiJrEmjQ2ua1h9sjfMKbhlHKk/0BuD9hJ+te7TRFBCNo60Saw==

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

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1674569410

%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

