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

Links for drat-trim

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Kotisivu [www.cs.utexas.edu]

Samankaltaisia paketteja:

cvc4
cvc5
libcvc4-7
libcvc4-4-dbgsym
libcvc4-5
libcvc4parser7
libcvc4parser4-dbgsym
libcvc4parser5
libcvc4-dev
libcvc5-1
libcurl3t64-gnutls

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.

Muut pakettiin drat-trim liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.40)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb

Imuroi drat-trim

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
sh4 (epävirallinen siirros)	30.2 kt	148.0 kt	[tiedostoluettelo]