%FILENAME%
kissat-4.0.4-1-x86_64.pkg.tar.zst

%NAME%
kissat

%BASE%
kissat

%VERSION%
4.0.4-1

%DESC%
A keep it simple and clean bare metal SAT solver written in C

%CSIZE%
382716

%ISIZE%
1294778

%SHA256SUM%
fea7fa933908a1e1cbf5ef8587d0bc2c5d0bd0a7f57d2c39f8f9d9c6b937582f

%URL%
https://fmv.jku.at/kissat

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1760642217

%PACKAGER%
Garuda Builder <team@garudalinux.org>

%CONFLICTS%
kitty

%DEPENDS%
glibc

