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

[ Source:  ]

Kontrol af tilfredshedsbevis for DART-trim - binære redskaber

DRAT-trim er et redskab til kontrol af tilfredshedsbevis og trimning designet til at validere beviser for alle kendte teknikker til tilfredshedsløsning og forbehandling. DRAT-trim kan også udsende trimmede formularer, optimerede beviser og TraceCheck+-afhængighedsgrader.

Denne pakke indeholder binære filer krævet for at bruge DART-trim som et uafhængigt værktøj.

Other Packages Related to drat-trim

• dep: libc6.1 (>= 2.34)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

Download drat-trim

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	28.0 kB	150.0 kB	[list of files]