%FILENAME%
cryptominisat-5.14.7-1.1-x86_64_v4.pkg.tar.zst

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.14.7-1.1

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

%CSIZE%
1332513

%ISIZE%
3714531

%SHA256SUM%
346aeeecdb8ca037ebd6355138b66234bddedcb985f52c91663e6ad50e29cc0d

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmpADBQACgkQ87YHSI2zWkcY/AwAorpZ70eKcboQpRF8jQg99f3tSVZes0rzy7ReF+zKR3Ib7MEVq6MvE/hc4QNk8Rtm3Dy0blnAct2TE5ZAeZbbAQikX1D1oSNjQME2t9N+KKuqfyTwzP894yhmzJHXemAXEMvGLs5MpWPLQkYNhuoZcrHksCjneCwOWxFbjyHJ8ubvQA5VQvA13VVkea4eg+54XdmPV9tdhl9BCRf4RQzZ1BtGD/DRapJOA2pBlZxXD4fXDTjjjEsrVJoO5eouNo1sN0Q8lb/mN47oiOJzBhcj+ivllRXZXOQJWf3X3Ym64Mx1uHUMNIn8Qf05jxOvceXw8iu7nfdLHlKaY/op6qEyEZY0Os5yCSgRfqcAuOBwdpMx2z6v7V+6akLq4IMGoxbW/xWG5VLQnSjoL0mqaFcCiPOhK24tWJCtF+pEuTDOxfVeS121iGrx3Unv8mLcO+ZSsMI5xq8I8TfX08A3ORy9K5x7y3FGSENIJ+Si4MrcgdP4VI5p1mNvC057SUZOtvse

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1782582158

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc
gmp
libgcc
libstdc++
zlib

%OPTDEPENDS%
python: python module

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

