deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.38)
Description: |-
DART-trim satisfiability proof checker (binary utils)
DRAT-trim is a satisfiability proof checking and trimming utility
designed to validate proofs for all known satisfiability solving
and preprocessing techniques. DRAT-trim can also emit trimmed
formulas, optimized proofs, and TraceCheck+ dependency graphs.
.
This package contains binaries needed to use DART-trim as a
stand-alone tool.
Homepage: https://www.cs.utexas.edu/~marijn/drat-trim/
Installed-Size: '86'
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Package: drat-trim
Priority: optional
Section: science
Version: 0.0~git20240428.effa1dc-1
srcpkg_name: drat-trim
srcpkg_version: 0.0~git20240428.effa1dc-1