目录标签

#cvc5

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

4 条记录

标签为“cvc5”按健康指数排序

PyPI

84优秀健康指数

An SMT solver frontend for OCaml

OCaml★ 812026年9月17日

MIT2026年9月17日 · 指标 2.10.0

—

81优秀健康指数

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Scala★ 4072026年10月19日

Apache-2.02026年10月19日 · 指标 2.10.0

crates.io

78良好健康指数

Rust interface for cvc5

Rust★ 16↓ 3,093/月2026年10月2日

BSD-3-Clause2026年10月2日 · 指标 2.10.0

PyPI

47薄弱健康指数

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

Python★ 8↓ 1,266/月2026年9月9日

MIT2026年9月9日 · 指标 2.10.0