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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
74970

%ISIZE%
244839

%SHA256SUM%
cb4b55599e739c2e4aa7a86985800abf74f024f4088425f9303bdab2a9363bea

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720897712

%PACKAGER%
ALHP x86-64-v3 <alhp@harting.dev>

%DEPENDS%
gcc-libs
zlib

