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

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

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

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

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 is the gr-audio library, used to connect to audio sources (mic-in) and sinks (speaker-out) ports on a computer. The underlying hardware driver is system and OS dependent and this module should automatically discover the correct one to use. Part of the main gnuradio build.