Upstream software project
drat-trim
DART-trim satisfiability proof checker (binary utils)
About drat-trim
DART-trim satisfiability proof checker (binary utils)
This project links 2 native package records across 1 recorded operating-system release. Compare the retained versions and architectures below, then open the package for your own release.
These are catalog observations, not a guarantee of installation, compatibility, or upstream support.
Project pictures and package coverage
Project identity
- Project
- drat-trim
- Publisher
- Not authoritatively mapped
- Native package records
- 2
- Operating systems
- debian-13
- License expression
- Not reported
- Metadata completeness
- 95/100 (not a software quality rating)
- Homepage
- Visit upstream site
- Source repository
- Not reported
Source-reported description
The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.
Packages by operating system
Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.
Debian 13 (Trixie)
- drat-trim0.0~git20240428.effa1dc-2
Debian 13 (Trixie) / science
DART-trim satisfiability proof checker (binary utils)
amd64arm64trixie - drat-trim-examples0.0~git20240428.effa1dc-2
Debian 13 (Trixie) / science / source drat-trim
DART-trim satisfiability proof checker (example files)
alltrixie
Project resources and further reading
Mapping provenance
Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.
No field-level source record is published yet.