%FILENAME%
minisat-2.2.1.20201216-2.0-pentium4.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.0

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68242

%ISIZE%
227135

%SHA256SUM%
8c259529f20c9672d02ecd16d1b65c790228810dc86298b26c9120da20c1fd2b

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1723291398

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

%DEPENDS%
gcc-libs
zlib

