All tags
Catalogue tag

#smt-solver

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

3 records
Tagged “smt-solver”Ranked by health index
PyPI · npm · crates.io +1
86Excellenthealth index
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.
Python★ 58↓ 764/moSep 18, 2026
Apache-2.0Sep 18, 2026 · metrics 2.10.0
crates.io
81Excellenthealth index
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 533↓ 399.4K/moSep 13, 2026
No licenseSep 13, 2026 · metrics 2.10.0
PyPI · npm
62Moderatehealth index
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/moSep 15, 2026
MITSep 15, 2026 · metrics 2.10.0