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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.13.0-1.1

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

%CSIZE%
1196398

%ISIZE%
3304195

%SHA256SUM%
def51be9acbbef1a344c175bb3bba8b3fdfc770edf4c104eda795a9ee63be10e

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmmnc6AACgkQ87YHSI2zWkd69gv8DDj/1IpkgrtEIWv7kkmOmOw4uryWXFLc+Jst3z38EY3K/PJYO9Op+797VIEuzBWJVyQRxERaie/M9SqoronM+NvYGwcZaaB2HVaijzzEHUwUDGkes4VGrYWmm544JZkrb7zV5InTY6dHcBZg32kfkjfuD1YHLskhc+jXXHC9O9RcseoSF21XLijql5dnMA9DNtVn9m9rn6bMv7BJZQ8IuCCD3j//K19EdaYCWZW2P9OxOa3SUYBUg/aQ1M8WffzD6hPCj7HVcz9madKk6GzWkSMf7PAwjBoADe5oGDkl1Oyevv8rg2DsMPu3hHnNHVOK4SnDsjcj4s7oEAqhah+FFxdMib7zYpoFMhOgsB8HhAwGPa6SGTVZOTfCqFMLWJ9THa+Ig+LKFIvVG9awQobxfmvwKwClXGqFXOdDY0am8VQEvtGy+gHvTPcaTIL2IE6sxHHMgEHwSCjUm9WhoMvdQXcoI77uk5pXKY983W33rBxS9g8eyQ9Ds0MsOl8iMzs3

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

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1772581749

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc
gmp
libgcc
libstdc++
zlib

%OPTDEPENDS%
python: python module

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

