目录标签

#cvc5

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

2 条记录

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

PyPI

83优秀健康指数

An SMT solver frontend for OCaml

OCaml★ 802026年8月6日

MIT2026年8月6日 · 指标 2.10.0

PyPI

48薄弱健康指数

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

Python★ 8↓ 32K/月2026年7月16日

MIT2026年7月16日 · 指标 2.10.0