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.

libgnuradio-audio3.10.11

gnuradio audio functions

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.

libgnuradio-channels3.10.11

gnuradio channels functions

Some channel oriented processing blocks. These functions are also in gnuradio-core. Part of the main gnuradio build.

libgnuradio-dtv3.10.11

gnuradio digital TV signal processing blocks

ATSC support, gr-atsc ported to a new framework, as well as DVB-S2, DVB-T, DVB-T2 digital video broadcast standards. Part of the main gnuradio build.

libgnuradio-fft3.10.11

gnuradio fast Fourier transform functions

Library for Fourier transform techniques used in gnuradio. Uses single precision FFT from libfftw3-single3. Part of the main gnuradio build.

libgnuradio-iio3.10.11

IIO blocks for GnuRadio

Libiio is a library that has been conceived to ease the development of applications interfacing Industrial Input/Output (IIO) devices through the IIO subsystem of the Linux kernel.