Katalog-Tag

#smt-solver

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

3 Einträge

Getaggt als „smt-solver“Geordnet nach Gesundheitsindex

PyPI · npm · crates.io +1

86ExzellentGesundheitsindex

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/Monat18. Sept. 2026

Apache-2.018. Sept. 2026 · Metriken 2.10.0

crates.io

81ExzellentGesundheitsindex

prove-rs/z3.rs

Rust bindings for the Z3 solver.

Rust★ 533↓ 399.4K/Monat13. Sept. 2026

Keine Lizenz13. Sept. 2026 · Metriken 2.10.0

PyPI · npm

62MittelGesundheitsindex

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/Monat15. Sept. 2026

MIT15. Sept. 2026 · Metriken 2.10.0