deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Description: |-
DART-trim satisfiability proof checker (example files)
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 some example data files for DART-trim.
Homepage: https://www.cs.utexas.edu/~marijn/drat-trim/
Installed-Size: '7196'
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Multi-Arch: foreign
Package: drat-trim-examples
Priority: optional
Recommends: drat-trim
Section: science
Source: drat-trim
Suggests: bzip2
Version: 0.0~git20240428.effa1dc-2
srcpkg_name: drat-trim
srcpkg_version: 0.0~git20240428.effa1dc-2