[ Quellcode: drat-trim ]
Paket: drat-trim (0.0~git20240428.effa1dc-2)
Links für drat-trim
Debian-Ressourcen:
Quellcode-Paket drat-trim herunterladen:
- [drat-trim_0.0~git20240428.effa1dc-2.dsc]
- [drat-trim_0.0~git20240428.effa1dc.orig.tar.gz]
- [drat-trim_0.0~git20240428.effa1dc-2.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [www.cs.utexas.edu]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu drat-trim
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
drat-trim herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 28,3 kB | 86,0 kB | [Liste der Dateien] |
| arm64 | 26,6 kB | 150,0 kB | [Liste der Dateien] |
| armhf | 25,9 kB | 60,0 kB | [Liste der Dateien] |
| i386 | 30,4 kB | 92,0 kB | [Liste der Dateien] |
| ppc64el | 31,2 kB | 150,0 kB | [Liste der Dateien] |
| riscv64 | 27,5 kB | 70,0 kB | [Liste der Dateien] |
| s390x | 28,9 kB | 81,0 kB | [Liste der Dateien] |