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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.17.0-1

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

%CSIZE%
1643668

%ISIZE%
4489203

%SHA256SUM%
36d8b6c5c73113b7b810accaed1b766b81bcd741ba41f96b3fdbd9cd2607c825

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAcgACgkQrx0hme8KPM8Qyg/8DQiWG2eP3DpWtkXgD709IbgEREddPLAsiNuBpzgvuKd2894GvkdJLM2bolXE0pcZQ+eJM6az7Le89qOMwDXTz0S4/tOeHwXOq7gnMfUoU9tVgwAQ3ztgCh8qZsxZWimjsV6XBu1+p7mksVb7obSyHn7QMvnymGBJ4roFCL4F74fKFZ05Q625XdHNquZfvrkyDr2kj9BhugnKzfzTss/u5LZeEVOwRmCYa5RLQ3rqcVUEWQh40ByPkFgfIBCaocqCuImhKCtFalbDbfuLgIrLaMRguMspZkaGOQZ8tEb8GDPrxOeo2/5m6DfCHBp0+PzJLHxUgG02jEyGpeeXPc9pF4O1Ji7PFFBfrsUwoFjXvFLZrVZTOXuhnVJuND/ENlRWtWOfhqs+cYg3bttqUX4do/BdVPlpAUrBF1OTtUy0+U6NFKW3Jtj23ALEQH30aLx6FI6BXBKgIOyeeMrplEDQMDkGRcMNOZ9uvk+J5fdsUvVUBbd1Gdwhmk3m3WfRSaNbXwRDsK2eMeeyb4Kfsc8qtO75cufY3TQmq5Ysd+xnRkofP2NFA+s2whptRVEwVicv9ZjWvS05k8JYToI8rAy7pVXkdpRN+QOwHVPDtyWHAZ1WQva53VA98z6cY0/v3PLuqR2/HKe1O73K7y71bbn8QOCRY4laSa34o3dBadpNPfs=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1791620755

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

%DEPENDS%
glibc
gmp
libgcc
libstdc++
zlib

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
cmake
git
help2man
python-build
python-installer
python-scikit-build-core
vim

