%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%
1357080

%ISIZE%
3751395

%SHA256SUM%
089ec874a01204cd28cd844da38bba1e7cbc4bfa19712f35dbd8e91f4b2ce5f9

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmpADTYACgkQ87YHSI2zWkck8Av5AfrEitA0SFsUFCDgcF7awtUpt5h/wKbXcl/uoRJ88YrDB1mURvIeyZJ+tawS64yCmWYbWxJAdCwzAxTX2YGer6VrkvKx7RpFN/pWQS+IOBG3gWvf7D3oMruOuqhx3Hpu952Sffdc0PHTo5465+WKse6NBQqyVPeP/JIkr0KuxmXEnTWSvoHrafEb9MSfsLw21LDeQBB4BV699dF7lfKP6Ph25Emuw9/e2+obuiktva7kL9pw40/bK8IPeeA2zj39hyZVfTa48zlff9hx8AOaQn9RigafOcSAGqNsWK5UShxS7u+8bWwaGZcmFJOwHHq9x1cqR0jEvIN+IS3m8PxoNW/iDhY5ab0sq641+QVmXvSKANWE9/PXma3VJCkupyYgrvxiEQxEvvYGy81VW6QYbwsjTSmOZe52L9+dCJZA+Rz9wxRr7lT4vzrEb/WVwhybKrEiB0idIfxNoFRFbWXI7iE7tLYjRQVaDol+NvKJymgbaT7NBQ2tSiiMKd19J8Lg

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1782582511

%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

