JBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

This package contains files common to all languages and libraries contained in the GNU Compiler Collection (GCC).

This empty package contains changelog and copyright files common to all libraries contained in the GNU Compiler Collection (GCC).

The package provides a C/C++ utility library used by Linphone and other software by Belledonne Communications. The library offers platform independent implementations of cryptographic functions, exception handling, logging modules, file access, unit tests and data structures like lists and maps.

This package contains the OpenCV (Open Computer Vision) clustering and search in Multi-Dimensional spaces runtime libraries.

This package contains the OpenCV (Open Computer Vision) Feature Detection and Descriptor Extraction runtime libraries.