%FILENAME%
cryptominisat5-5.11.4-1.0-i686.pkg.tar.zst

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-1.0

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

%CSIZE%
1003405

%ISIZE%
2595591

%MD5SUM%
2216cedb5bbead50b02039e75a73c1c5

%SHA256SUM%
4d188bbb211e7ba013a116a82737747bb92ea426dd3d139a1a74afeb50dd2632

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmM88aAACgkQyOj1oK+bp+fRfggAh6WbEth8jWZ77B7LrUOjEyKDA19QQFceX9u22yXS+fz36o7tSXvzernE02iY11YoVUWChld6gglhFfaD0btAVKUxQm8zexdC0yO064J/sKINdFkWGIJAsaoqNiTViMD2iO2/vx237v5UdZ5agx6wC00+udaSfWiRUkrHGqQAGPRq70lzbF32c5rYiBQMDLYCnwktonYpRKx9YetbNpFFFR9KxGxCbdw/RO/KVnULKIx9gKm74MhIzqHcnAeu0xoAD/S5KqR/OVFfzn3k/V8A+dgENmX2Ku7BuPkzjVPzbIGCZqxyNYNCscF1FLGeWNMiSYCZeoZcCMIW2GJLGHeeaQ==

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1664938231

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

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

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
python
boost
cmake
vim
help2man
python-setuptools

