Package - kissat

Package:  kissat
apt-get install kissat
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/k/kissat/kissat_4.0.2-1_amd64.deb (Size: 349.9KiB)

PropertyValue
Packagekissat
Version4.0.2-1
Installed-Size971
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.34)
Suggestsbzip2, gzip (>= 1), p7zip, xz-utils
DescriptionKeep it simple and clean bare metal SAT solver
Description-md54fb5abe165657d9ba4fd2ec56ac46675
Homepagehttps://fmv.jku.at/kissat/
Sectionscience
Priorityoptional
Filenamepool/main/k/kissat/kissat_4.0.2-1_amd64.deb
Size358340
MD5sum5752bb818d2204902d6ed12e1a11a383
SHA256fe9f41fdac1913b0f103aef04818d7bc3c8f41edb5eb45a66cfd6c1bcb977ca6

Files in package

  • /usr/bin/kissat
  • /usr/share/doc/kissat/changelog.Debian.gz
  • /usr/share/doc/kissat/copyright
  • /usr/share/man/man1/kissat.1.gz