Пакунок: drat-trim (0.0~git20240428.effa1dc-2) [debports]

Links for drat-trim

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [www.cs.utexas.edu]

Similar packages:

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.

Інші пакунки пов'язані з drat-trim

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb

Завантажити drat-trim

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
sparc64 (unofficial port)	26.0 kB	2,070.0 kB	[список файлів]