%FILENAME%
cryptominisat5-5.11.4-3-x86_64.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-3

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

%CSIZE%
971652

%ISIZE%
2545814

%MD5SUM%
cfcbeb151346fbb13d8572ce9c956838

%SHA256SUM%
c3828edc71daa61737feed0dfdd8ca973473f472b536c448c3a39dc6bd614304

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQwEpUACgkQeGxj8zDXy5IyBBAAjdbmgYbG2TsVtw5kZ1h9tpoyML3SzOVhYDiauZuFyR9lC9SzjeXa4FHDQsgVJAoD2n5IoKo4ir8W7MXMdVVS2DmRu5TIgSiowbMDUFfb0a1S615bL+4p8uZXE5gx0G8zPkDz/2kU85Qw1xzKp7A9HGhnYmAExsAr7eVcSZB9DPd7wHlWiX5chOBgQabUjaXY0Y0zoFZbcNRujBzKTVY87WlgHRUACmrKWCWvlpBPXThTYnHqwzqBlWYx/FKTWlfp5XIb5FRCB8euS+t3lbKmonPBadu4g/mSnjUxK+MJKt967dPeF6Rb/YpdcGjE0QOpFWMwjGJk78NKsBVbNtqiUvmCuqigTQyNBAyt7NNC1JRnqkI/nxBQcgQc+vj89bephAO73pLgVP0x6GYIo5bb4YhPgixXMbOsvJ7v01nsWQdQGu1zKdmlo2QmSWp2fG+IyJwChGlgGa0Zjb98ttC2xhcurLViS5cA8CuXj4WHtiRi2KRLQJh+CGWshXZ+JRHq9ZwvcU2Ef9eIhnLv4ZYRKxxvZw4bw862p2LUuS6TAr5Gl4m5BVq9agMCjLzG6jzmGXISxegIvpapSPhv9OUg87EiNRKaSYpM7IyBDGCzaL/961utH3aMiKSt9MomwmSImgkzwcwLcBWeBalUH/uTGFiOoHpc4AMJ7OttUYchsgs=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1680871959

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

%DEPENDS%
zlib
gcc-libs
boost-libs
sqlite
m4ri

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man
python-setuptools

