%FILENAME%
cryptominisat5-5.8.0-4-x86_64.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-4

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

%CSIZE%
556022

%ISIZE%
1514958

%MD5SUM%
d5f777906be3bdecdab0c060e9901cd9

%SHA256SUM%
f16ecdef2dd9736eee0b2507adf1c86421f5cfa96257fc2af50c93e43f8c8759

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl/U40oACgkQeGxj8zDXy5LZPw//fvA5D+l62qmFBdD2qdraDIQ2+Hg11jEoLtAhDRUAsCn2Em2flOD2eIjferVMtHxPWa6lxuVj4nj0qvX0S0ykbIcf+4egOtsKh8ifx0fKIHByT9dWDTxwZXw6rnQgM3I3Lov9G5T8OoyJ09sDETwaAzp4/g7g2virDkL304XxKS9gah42240J2z3D8obN75iCoMm7XugwKbg4j+J1/ybr+XEtpMD23TIjxfmrBZHXgOYu1MuT5f39TQ5MmeJRJcmbXCthIC6D3AT/ZsmDwiUR8HpZTQRzPc3TPIjS43FKXpU/3xGCBkaUfMvc6zp2OOtEX94Md3cd7u/xtLMTHLiBw5FFjMsoD3eKUANh6Vp+KeEfGyG1qxkq4BEChNJGfT4yCEpbpg15dViNQjD9ETS542B8GQ899bwM5KQC06yivlQLW11jlQwyJSOw5ZgSk5j2C2uBcW0ay4/LEYmvStBtVXDhXxqr2FP7Z4ypHCjzcpvkMwZ0ce44Htg6/SX+Aj0bN8aY1zmJlCIPGp1Vb3sH38SvlIkgahM/+MbGSMpp7BXzNhlmGG/zngoQPkOlrpCOPfbfLLGZb4APUsWVWm+s5KzyA2sfrMuF+VrxIh7neb5MFDzNGBTcze3QbE9z2gopoY+nrUMDvq1oksHcHioV9bqwmAsR73HRjEurjExAv14=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1607787236

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
zlib
gcc-libs
boost-libs
tbb

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man

