Rust bindings for the Z3 solver.
-
Updated
Jun 26, 2026 - Rust
#
smt-solver
Here are 148 public repositories matching this topic...
The efficient SMT-based context-bounded model checker (ESBMC)
kotlin python c cpp smt-solver k-induction automated-testing incremental-learning bmc solidity-contracts cheri automated-verification cp-solver
-
Updated
Jul 12, 2026 - C++
SRI Yices SMT Solver
-
Updated
Jul 12, 2026 - SMT
Code and exercises for a workshop on z3 and angr
-
Updated
Dec 29, 2020 - Python
Jupyter notebooks for tutorial on the Z3 SMT solver
-
Updated
Nov 3, 2023 - Jupyter Notebook
My sandbox for experimenting with solver algorithms.
-
Updated
Jul 10, 2026 - Haskell
The Eldarica model checker
-
Updated
Jul 2, 2026 - SMT
A modular sat/smt solver with proof output.
-
Updated
May 4, 2026 - OCaml
KeY Theorem Prover for Deductive Java Verification
-
Updated
Jul 12, 2026 - Java
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq ideas startup z3 formal-methods sat-solver entrepreneurship software-verification smt-solver research-paper formal-verification quantum-programming-language research-data research-software-engineering programming-language-theory ideasworthsharing
-
Updated
Aug 17, 2019
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
-
Updated
Jan 8, 2017 - C++
A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
python nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai llm-verification deterministic-verification deterministic-verification-layer
-
Updated
Jul 9, 2026 - Python
-
Updated
Mar 26, 2016 - C++
An SMT Solver for string constraints
-
Updated
Jul 2, 2026 - Scala
Kotlin/Java API for various SMT solvers
-
Updated
Jun 9, 2026 - Kotlin
Programming Language designed for Program Synthesis with SMT-validation.
-
Updated
Jul 12, 2026 - Python
Improve this page
Add a description, image, and links to the smt-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt-solver topic, visit your repo's landing page and select "manage topics."