目录标签

#smt-solver

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

3 条记录

标签为“smt-solver”按健康指数排序

PyPI · npm · crates.io +1

86优秀健康指数

Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

Python★ 58↓ 764/月2026年9月18日

Apache-2.02026年9月18日 · 指标 2.10.0

crates.io

81优秀健康指数

prove-rs/z3.rs

Rust bindings for the Z3 solver.

Rust★ 533↓ 399.4K/月2026年9月13日

无许可证2026年9月13日 · 指标 2.10.0

PyPI · npm

62中等健康指数

gowrishankar-infra/velaris-lang

A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.

Python · HTML★ 3↓ 9,055/月2026年9月15日

MIT2026年9月15日 · 指标 2.10.0