%FILENAME%
cryptominisat-5.12.1-1.1-x86_64_v3.pkg.tar.zst

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.12.1-1.1

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

%CSIZE%
932438

%ISIZE%
2459372

%SHA256SUM%
53162efc5327dcb907a004e30a99d2b39df085bb2e8ba9eefcddc258874bac49

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmerCwgACgkQ87YHSI2zWkcmAgv/YuJyDUPc9RKnaNZP1VOgMTqGM43MigckBFwc6TkWuVB54AMg+XXVgL/pjZUXGM16dngmsQhvpX10MmNidAYCCC+MYMetcBxmLls+zeiKKgC/qXDGCmU70XG7MgmH8qxinhCwQd1CCB+1AuqgRpal4cj5+MYV6vVHXkU07JApTihXw3BSu4VC04jmHALZ6DqW+N2GGuL7IKRXRdaTNFkUhbqIe/ML+Z3uWyjirdU/uuhqb4pKjdjNh71fEzMlPxgBe2xFq4HgD5HnbqiCkpDNcJdmha+YAZvYxQVhSAmsDtxD7RGDm6BSOTw6zRFdKSQi/e+E7IAEDDeSPpnWL+17zNWRLMZHy7Q1fSpJMBUMh+QajrIrR50pC55yDCITlpZEiaVbRWnTHK3/Ed2F1+zBDRIysLWYC0b76ZwSDROTi/jHoGQeK7DM/g54bLqnytMIAA8o/wQimVES//LJOV69Jurn9aVXON15OI1xL/JDPJ09eEoUKhD0RgJXz0kNkPzM

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

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1739262693

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
gcc-libs
glibc
gmp
zlib

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
cmake
git
help2man
python-build
python-installer
python-setuptools
python-tomli
python-wheel
vim

