Ubuntu Logo packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain libcvc4-dev in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

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