Package: kissat
Version: 4.0.4-1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 1055
Depends: libc6 (>= 2.38)
Suggests: 7zip, bzip2, gzip (>= 1), xz-utils
Section: science
Priority: optional
Homepage: https://fmv.jku.at/kissat/
Description: Keep it simple and clean bare metal SAT solver
 Kissat is a "keep it simple and clean bare metal SAT solver" written
 in C. It is a port of CaDiCaL back to C with improved data structures,
 better scheduling of inprocessing and optimized algorithms and
 implementation.
 .
 This package contains binaries needed to use Kissat as a stand-alone
 tool.
