%FILENAME%
minisat-2.2.1.20201216-2-x86_64.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
67936

%ISIZE%
228455

%SHA256SUM%
4834540591caa42f226b762861d1c123dd305f0a33edc1e80b3fcb175989711e

%PGPSIG%
iHUEABYKAB0WIQRUwf0nM2HqUUojd5Pylr3lA2jGzgUCZpG45gAKCRDylr3lA2jGzkG2AQCp+er2TqWUDViJvqSOAv3W/KuVWc4/e6EgTWxxTlMU5wD+NYTCDMkLYpuKdHuuOP3iuLF8C6MxZhdjfG8ZCAzOfg8=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720826070

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

%DEPENDS%
gcc-libs
zlib

