%FILENAME%
cryptominisat5-5.8.0-4.1-i486.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-4.1

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

%CSIZE%
552303

%ISIZE%
1545057

%MD5SUM%
baa351031ed2981ea364d7572a6a3168

%SHA256SUM%
342296c0a291609f53b607696c6535b9fdd712885549a5c528c242ab787f621e

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAmAEApoACgkQLBRsAalSrA+psg//RSov7J5KYBHc1bPnq2aUou9KNPeiup9bJMzpiQ6K4TQy8H9qXAfw1XDu5QIdmaB+AAMbpe7IvSLm9AQliVGy/XcEMZGbsPZ0OTKokQysXUSlJ3JESfZ8Q2L7BUaET3Z9how5NEYSWf09Ws8HRKMyFZbFyrlTArM+4renrBbmojTmgpKyCVFimPNL4qrwcQaJ3KftmW0XV+wDd4H77QdBjkjYS4qgWh03wOghi2slWQjVjVT66qrL+248390RIHsykBQ53hdcCFCjL2qNg1o09hl12ksDcHWyN/c5SYERmCIXoyQUAvzlqBoXN3JiH4Vk2+ccHuU8NdhyhT/aeSTKa/P78aTmApARCXtplWKom33970yubJSiqjg/vicgUPfFYQqhCJ0XrcmrB89ol1PgbHvpuVfMX0j0yqaiu/bl7cxjqZInJtGkF0hTd7TwJgyIBgB8C4j4Kz5ZOexVNjSuWdzu/UDnY3RohXCfkYkdMxTdIXoUZAvu9GuhN9WOyl+RmnrNzVRNdisscLAHDRWNKNEJ1p+q2ba158XfT6tut7WyfxA448sVMuu4HZEtbhXghbkNGE6Dio1eltDjwDxu+QAog6D3NH2yXshLNtXl9I71UNG7hrmop/uHKteQRgN6J8slLU9tvxGOX0xExhq/cZ2rSWl+RyhAagP+FMUOPKQ=

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

%LICENSE%
MIT

%ARCH%
i486

%BUILDDATE%
1610875472

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
zlib
gcc-libs
boost-libs
tbb

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man

