» Ubuntu » Packages » Package Search Results

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

Exact hits

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

AltStyle によって変換されたページ (->オリジナル) /