Balík: drat-trim (0.0~git20240428.effa1dc-2) [debports]

Odkazy pre drat-trim

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Externé zdroje:

Domovská stránka [www.cs.utexas.edu]

Podobné balíky:

cvc4
cvc5
libcvc4-7
libcvc4-4
libcvc4-5
libcvc4parser7
libcvc4parser4
libcvc4parser5
libcvc4-dev
libcvc5-1
python3-cvc5

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.

Ostatné balíky súvisiace s balíkom drat-trim

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.34)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb

Stiahnuť drat-trim

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
m68k (neoficiálny port)	25.6 kB	76.0 kB	[zoznam súborov]