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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-9

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

%CSIZE%
563730

%ISIZE%
1552209

%MD5SUM%
1ed6e990e88bd716347d1002733d0eff

%SHA256SUM%
585eb33fc6ef70eee62f2075e243e938ef0ba5c5f67a548c9f4f4ec4918b4a89

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMe4UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZ3jhAAt88A+AWOjS7SanAV6uSH3QhqwwEPWtPBYU1X79ksRNi8OLcwgyCrGRzEUbWeG23D7KUlkEclK4+lkAM6MY7W7+lbo/aiNfJ+rNnlAqIfiM90RjKi/tVOcehTYnVonZuU7ZQEYhWHVdmyPJqLI041VHjhkczCtdIgQtO319zJU2dCrTUZnWfET+sxlwBUzGpM8FLculkorjTOhVEKaV2n96Pu+XBay2Js39olhIng6Sso2ZA8cg2DB0AvH7cHUiHA100WwRuUYRVEBoOG+My510GuLgaPiHgyxzu81ti+rnSveaopycGRnM/+JohzB0hitOwfgtDirvjZItKXTxAQhBm32mqstprECn0Z56m71RdBypsUF01CpWZz6YS76LbP75L0QKkemkD4fsLOxiDbb3F91IliYZTinTbfuSbJh1Kk5NG3M+pzBuoh4c3SjzU+JzR1V48TOForvxgt6ejS52xBk0rY4fpPF2Yin/NVyx7aPw3H5a7bEbE4Wz4OqQBVKP3Z2QmwczMTMmNAnjZfwwEDGtCvNJOJX2aiEXAtXts5h+P7+AOSbLIK1uzN/e4p3Pt605SBFkgZJXyJZNWWPla9qY5T7rQXn6gvQ+7TlIdnTprzwHMZWA8UfRtIcZeq+GKPb8PMSPQAq/uO9+wE9YIjJwwCO7jmJ/t9R/UroaY=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1639720747

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

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

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man

