Усі теги
Тег каталогу

#smt-solver

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

3 записи
З тегом «smt-solver»Упорядковано за індексом здоров'я
PyPI · npm · crates.io +1
86Відміннийіндекс здоров'я
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/міс18 вер. 2026 р.
Apache-2.018 вер. 2026 р. · метрики 2.10.0
crates.io
81Відміннийіндекс здоров'я
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 533↓ 399.4K/міс13 вер. 2026 р.
Без ліцензії13 вер. 2026 р. · метрики 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/міс15 вер. 2026 р.
MIT15 вер. 2026 р. · метрики 2.10.0