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).