Пакет: drat-trim (0.0~git20240428.effa1dc-2) [debports]

Връзки за drat-trim

Ресурси за Debian:

Доклади за грешки

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

Външни препратки:

Начална страница [www.cs.utexas.edu]

Подобни пакети:

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

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.40)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

Изтегляне на drat-trim

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
sh4 (неофициална архитектура)	30,2 кБ	148,0 кБ	[списък на файловете]