Rust bindings for the Z3 solver.
-
Updated
Jan 4, 2026 - Rust
#
smt-solver
Here are 123 public repositories matching this topic...
SRI Yices SMT Solver
-
Updated
Sep 3, 2025 - SMT
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
Jan 21, 2026 - C
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
Jan 14, 2026 - Haskell
A modular sat/smt solver with proof output.
-
Updated
Jan 8, 2024 - OCaml
The Eldarica model checker
-
Updated
Jan 21, 2026 - SMT
KeY Theorem Prover for Deductive Java Verification
-
Updated
Jan 19, 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++
-
Updated
Mar 26, 2016 - C++
An SMT Solver for string constraints
-
Updated
Jan 9, 2026 - Scala
Deterministic verification layer for LLMs | AI hallucination detection | Model output validation | Formal verification for AI | Python 🐍
python nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy generative-ai langchain enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai llm-verification
-
Updated
Jan 21, 2026 - Python
Kotlin/Java API for various SMT solvers
-
Updated
Oct 8, 2025 - Kotlin
gradient-based symbolic execution engine implemented from scratch
debugging neural-network static-analysis symbolic-execution gradient-descent program-analysis smt-solver dpll dpll-solver
-
Updated
Dec 16, 2023 - C++
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."