packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain cvc4 in all suites, all sections, and all architectures. Found 4 matching packages.

Exact hits

Package cvc4

• jammy (22.04LTS) (math): automated theorem prover for SMT problems [universe]
  1.8-2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (math): automated theorem prover for SMT problems [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (math): automated theorem prover for SMT problems [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): automated theorem prover for SMT problems [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (math): automated theorem prover for SMT problems [universe]
  1.8-5: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package libcvc4-7

• jammy (22.04LTS) (libs): automated theorem prover for SMT problems (runtime) [universe]
  1.8-2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (libs): automated theorem prover for SMT problems (runtime) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (libs): automated theorem prover for SMT problems (runtime) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (libs): automated theorem prover for SMT problems (runtime) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (libs): automated theorem prover for SMT problems (runtime) [universe]
  1.8-5: amd64 arm64 armhf ppc64el riscv64 s390x

Package libcvc4-dev

• jammy (22.04LTS) (libdevel): automated theorem prover for SMT problems (development files) [universe]
  1.8-2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (libdevel): automated theorem prover for SMT problems (development files) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (libdevel): automated theorem prover for SMT problems (development files) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (libdevel): automated theorem prover for SMT problems (development files) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (libdevel): automated theorem prover for SMT problems (development files) [universe]
  1.8-5: amd64 arm64 armhf ppc64el riscv64 s390x

Package libcvc4parser7

• jammy (22.04LTS) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
  1.8-2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
  1.8-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (libs): automated theorem prover for SMT problems (parser runtime) [universe]
  1.8-5: amd64 arm64 armhf ppc64el riscv64 s390x