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.