Package - drat-trim

Package:  drat-trim
apt-get install drat-trim
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/d/drat-trim/drat-trim_0.0~git20240428.effa1dc-2_amd64.deb (Size: 28.3KiB)

PropertyValue
Packagedrat-trim
Version0.0~git20240428.effa1dc-2
Installed-Size86
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.34)
DescriptionDART-trim satisfiability proof checker (binary utils)
Description-md5fa5615a86bf5ee7818b606db3166aaba
Homepagehttps://www.cs.utexas.edu/~marijn/drat-trim/
Sectionscience
Priorityoptional
Filenamepool/main/d/drat-trim/drat-trim_0.0~git20240428.effa1dc-2_amd64.deb
Size28940
MD5sum9135e584529e2381ae7133c215b87313
SHA256a2613ed11f3b2ee1a183ed64ba265a7d88b9b892cef1a40a9097132ccabcc31f

Files in package

  • /usr/bin/drat-trim
  • /usr/bin/lrat-check
  • /usr/share/doc/drat-trim/changelog.Debian.gz
  • /usr/share/doc/drat-trim/copyright
  • /usr/share/lintian/overrides/drat-trim
  • /usr/share/man/man1/drat-trim.1.gz