%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%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmrJ95YACgkQek52CV2KUuR77QgApafjQ8dt+LAImzFGaiXixNkIGN/TcGVVGtMRUx5rgJeGzQJ1ZN5X8p8mEc2I6s+FeD+kSpVt37pN4XgwJysny7xPJPWMzg8JRDlOxTXkyMNwtQGSpqwsearG8uJXWvXOrWe9nmWcIUKBdvxnQN+Qfv6zIfrNf6Qq/gy5VH7Kts3bUf+RLMdUWgiir2wABvfyqzNyhfPk5X+V+RltYtEoYA2bYrVVqWgYlEWrg+3WLJ1ZwVxbpvG7qxGZEswpUR7xmmwNRE1duFvtzdwPZOKG2EN7g1Rt1ywBtf/gFNkwJI+9lltCZvzaab6t7INlINN3sc0J3ff9NnybmSAWeddn4A==

%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

