Publishing details

• Published on 2026-05-06

Changelog

cvc5 (1.3.2-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Thu, 07 May 2026 01:40:12 +0800

Builds

• amd64
• arm64
• loong64
• riscv64
• rv64g

Built packages

• cvc5 automated theorem prover for SMT problems

• libcvc5-1 automated theorem prover for SMT problems (runtime)

• libcvc5-dev automated theorem prover for SMT problems (development files)

• libcvc5parser1 automated theorem prover for SMT problems (parser runtime)

• python3-cvc5 automated theorem prover for SMT problems (Python bindings)

Package files

• cvc5_1.3.2-ok1.debian.tar.xz (7.7 KiB)
• cvc5_1.3.2-ok1.dsc (2.2 KiB)
• cvc5_1.3.2-ok1_arm64.deb (120.1 KiB)
• cvc5_1.3.2.orig.tar.gz (8.8 MiB)
• libcvc5-1_1.3.2-ok1_arm64.deb (6.5 MiB)
• libcvc5-dev_1.3.2-ok1_arm64.deb (109.3 KiB)
• libcvc5parser1_1.3.2-ok1_arm64.deb (229.6 KiB)
• python3-cvc5_1.3.2-ok1_arm64.deb (494.2 KiB)