lib32go23-amd64-cross

Runtime library for GNU Go applications (32bit)

Library needed for GNU Go applications linked against the shared library.

lib64go23-i386-cross

Runtime library for GNU Go applications (64bit)

Library needed for GNU Go applications linked against the shared library.

libgo23-amd64-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

libgo23-arm64-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

libgo23-ppc64el-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

drat-trim

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.