Paket: drat-trim (0.0~git20240428.effa1dc-2) [debports]

Länkar för drat-trim

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Hemsida [www.cs.utexas.edu]

Liknande paket:

librte-crypto-null23-dbgsym
librte-net-mlx4-23
librte-acl21
librte-bbdev21
librte-bitratestats21
librte-cfgfile21
librte-cmdline21
librte-cryptodev21
librte-distributor21
librte-eal21
librte-efd21

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.

Andra paket besläktade med drat-trim

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.34)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

Hämta drat-trim

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
sparc64 (inofficiell anpassning)	26,0 kbyte	2.070,0 kbyte	[filförteckning]