Ubuntu – Package Search Results -- cvc5

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [plucky] [plucky-updates] [plucky-backports] [questing] [questing-updates] [questing-backports] [resolute]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

Exact hits

Package cvc5

noble (24.04LTS) (math): automated theorem prover for SMT problems [universe]
1.1.2-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (math): automated theorem prover for SMT problems [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (math): automated theorem prover for SMT problems [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (math): automated theorem prover for SMT problems [universe]
1.3.2-1: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package libcvc5-1

noble (24.04LTS) (libs): automated theorem prover for SMT problems (runtime) [universe]
1.1.2-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (libs): automated theorem prover for SMT problems (runtime) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (libs): automated theorem prover for SMT problems (runtime) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (libs): automated theorem prover for SMT problems (runtime) [universe]
1.3.2-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libcvc5-dev

noble (24.04LTS) (libdevel): automated theorem prover for SMT problems (development files) [universe]
1.1.2-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (libdevel): automated theorem prover for SMT problems (development files) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (libdevel): automated theorem prover for SMT problems (development files) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (libdevel): automated theorem prover for SMT problems (development files) [universe]
1.3.2-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libcvc5parser1

noble (24.04LTS) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
1.1.2-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (libs): automated theorem prover for SMT problems (parser runtime) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (libs): automated theorem prover for SMT problems (parser runtime) [universe]
1.3.2-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package python3-cvc5

noble (24.04LTS) (math): automated theorem prover for SMT problems (Python bindings) [universe]
1.1.2-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

plucky (25.04) (math): automated theorem prover for SMT problems (Python bindings) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

questing (25.10) (math): automated theorem prover for SMT problems (Python bindings) [universe]
1.1.2-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

resolute (math): automated theorem prover for SMT problems (Python bindings) [universe]
1.3.2-1: amd64 arm64 armhf ppc64el riscv64 s390x