%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

%MD5SUM%
a06c3e3a9c78d16ec62f70d4a722fa2b

%SHA256SUM%
84ce62d8856b3b36353aa4bc3b9828aab348bd053d9c924a70879210a9af19e1

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAl4NqscACgkQek52CV2KUuR7qggAqNpGOCSy+oQNNZglRBY/14g03puozpGj63my9mQgzQE/RGCDC8TwU8742TBgeJRSvnn51Nk+OR5Mq4hscqKP95kxeSTWVV3NZJPa9v35XPeElutFWkszzqOPc3wNGyswLxys3Ksur5/2Yor1JdnRblXofKA91D5Tqm4XreP7ygw94VvJB0FqaYtpPsfCuDD3A8uquwUzFm2wTnHAZGm7L3ppN43JRyF0Oh4Uyb95H1UZ+JOW7Z7AtNOMiGGCI4Uf76eTE7EnrMu3da4oRUjRCLKDi3qjLTy84qaWczzBh2hUpBHdlBJRpOydqp0qm8o1JZj+Fzi6okc0FMpjQPZRDA==

%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

