deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.34)
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.
Homepage: https://fmv.jku.at/kissat/
Installed-Size: '916'
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Package: kissat
Priority: optional
Section: science
Suggests: bzip2, gzip (>= 1), p7zip, xz-utils
Version: 4.0.1-3
srcpkg_name: kissat
srcpkg_version: 4.0.1-3