Rust bindings for the Z3 solver.
-
Updated
Aug 16, 2026 - Rust
#
smt-solver
Here are 157 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
Aug 22, 2026 - C++
SRI Yices SMT Solver
-
Updated
Aug 8, 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
Aug 9, 2026 - Haskell
The Eldarica model checker
-
Updated
Aug 21, 2026 - SMT
A modular sat/smt solver with proof output.
-
Updated
Aug 18, 2026 - OCaml
KeY Theorem Prover for Deductive Java Verification
-
Updated
Aug 22, 2026 - Java
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
-
Updated
Jan 8, 2017 - C++
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
A universal, atomic library of mathematics and tools for agents to compose them.
python math computer-algebra mcp theorem-proving proof-assistant z3 formal-methods sympy smt-solver formal-verification dsh symbolic-math ai-agents cordis automated-theorem-proving lean4 model-context-protocol mcp-server dsh-plugin
-
Updated
Aug 22, 2026 - Python
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
python machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy enterprise-ai llm-safety hallucination-detection z3-prover fail-closed deterministic-ai llm-verification deterministic-verification verification-context diagnostic-result
-
Updated
Aug 17, 2026 - Python
An SMT Solver for string constraints
-
Updated
Aug 14, 2026 - Scala
-
Updated
Mar 26, 2016 - C++
Programming Language designed for Program Synthesis with SMT-validation.
-
Updated
Aug 20, 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."