cvc5

automated theorem prover for SMT problems

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.

gcc-14-for-build

GNU C compiler for the build architecture

This is the GNU C compiler, a fairly portable optimizing compiler for C.

gcc-14-hppa64-linux-gnu

GNU C compiler (cross compiler for hppa64)

This is the GNU C compiler, a fairly portable optimizing compiler for C.

gcc-14-locales

GCC, the GNU compiler collection (native language support files)

Native language support for GCC. Lets GCC speak your language, if translations are available.

gcc-14-multilib

GNU C compiler (multilib support)

This is the GNU C compiler, a fairly portable optimizing compiler for C.

gcc-14-source

Source of the GNU Compiler Collection

This package contains the sources and patches which are needed to build the GNU Compiler Collection (GCC).