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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
75423

%ISIZE%
248911

%SHA256SUM%
fe5b9b4312e50ebe0364d6a1689e8688dda92c8c325ca3b8e9c5373e80d8cff0

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1701393072

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
gcc-libs
zlib

