#Smt-solver
Showing 6 of 6 repositories tagged #smt-solver, ranked by stars
prove-rs
z3.rs
Rust bindings for the Z3 solver.
Score
0
★ 516
⑂ 152
+3/day
Rust
esbmc
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
Score
0
★ 493
⑂ 140
+2/day
C++
philzook58
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Score
0
★ 169
⑂ 25
—
Jupyter Notebook
QWED-AI
qwed-verification
AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
Score
0
★ 58
⑂ 11
—
Python
Koukyosyumei
Gymbo
gradient-based symbolic execution engine implemented from scratch
Score
0
★ 38
⑂ 0
—
C++
saruman9
move_ctf_writeup
Writeup for Move CTF 2022 by MoveBit and others.
Score
0
★ 18
⑂ 2
—
Move