%FILENAME%
cryptominisat5-5.6.8-5-x86_64.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-5

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

%CSIZE%
517584

%ISIZE%
1511827

%SHA256SUM%
84ce62d8856b3b36353aa4bc3b9828aab348bd053d9c924a70879210a9af19e1

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1577953894

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
zlib
gcc-libs
boost-libs
intel-tbb

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man

