Etiqueta del catálogo

#smt-solver

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

3 registros

Con la etiqueta «smt-solver»Ordenado por índice de salud

PyPI · npm · crates.io +1

86Excelenteíndice de salud

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/mes18 sept 2026

Apache-2.018 sept 2026 · métricas 2.10.0

crates.io

81Excelenteíndice de salud

prove-rs/z3.rs

Rust bindings for the Z3 solver.

Rust★ 533↓ 399.4K/mes13 sept 2026

Sin licencia13 sept 2026 · métricas 2.10.0

PyPI · npm

62Moderadoíndice de salud

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↓ 9055/mes15 sept 2026

MIT15 sept 2026 · métricas 2.10.0