%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmG8J2oACgkQeGxj8zDXy5JaPBAAulKylwCFS2OaxP2JhXitTLv3zZwAlN/gtkisqn6p3mTghs9ZBnxnvtaEgthkLi65wxjYi1Mscb/w12dIer84nxVdqRABu8s+TohrYJHkGj+DcdJjRRAqjFg+PJZDgHw9aM+shnOwpMP4Ehrtm8sZjxvnV0UyD5JfPg6VooC1PnXLd0SVm7SXKlM1S1VQ9rVY+LOW5mqrG9CCya/PGZg0raWTvbWZbR9wYrbpDI/5N0J+PWxknRnRcOqSCWChXmJ9keXoN4nJpbLHU2Ejc+3qYhVrCXJsG7evCoV6jqhfJMAl8gJZ9mQg+Y5lAICfvv5ZOczq1B5glzzSQEod5ef+/ezTFjcxLIhRwVj2ruXaCiakK6y1iGHo9UhJdwnxdPX/wXQyGRvNLgBN+SPNjcyZW8G6B8WoInmD5M8T/IYi/yn2HE7tX/XXM75Pkz9NaTropWUdJn3sUpopZDBJITACllaPuydJWsPCJP1f/yg1Cv/PE2aO7OGVk0b//zthVkPjw9f2OJSdiDoeIHGOdJ4RCJ8/93p6OMq8cnlCk46Y1w/Hux7lFB4BkqMto75UQ135qX6+OQnsA+E/T89UrYPYVHopl8XZj4EygNqy5Bp2GXOhtnfKAuFhzc7WkeTD58N11IQ7EFMfEduag/83BYgia6fqw7BHo58HKfJIEBlhurw=

%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

