Maven
KeYProject/key
KeY Theorem Prover for Deductive Java Verification
自定义许可证2026年10月19日 · 指标 2.10.0
全部标签
目录标签
#smt-solver
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
4 条记录
PyPI · npm · crates.io +1
QWED-AI/qwed-verification
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
Apache-2.02026年9月18日 · 指标 2.10.0
crates.io
prove-rs/z3.rs
Rust bindings for the Z3 solver.
无许可证2026年9月13日 · 指标 2.10.0
PyPI · npm
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.
MIT2026年9月15日 · 指标 2.10.0