Rust bindings for the Z3 solver.
-
Updated
Apr 1, 2026 - Rust
#
smt-solver
Here are 129 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
Apr 5, 2026 - C
SRI Yices SMT Solver
-
Updated
Apr 2, 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
Jan 27, 2026 - Haskell
The Eldarica model checker
-
Updated
Mar 9, 2026 - SMT
A modular sat/smt solver with proof output.
-
Updated
Mar 19, 2026 - OCaml
KeY Theorem Prover for Deductive Java Verification
-
Updated
Apr 5, 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++
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.
python nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy generative-ai enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai aisecops llm-verification
-
Updated
Apr 5, 2026 - Python
An SMT Solver for string constraints
-
Updated
Apr 3, 2026 - Scala
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."