KeY Theorem Prover for Deductive Java Verification
-
Updated
May 22, 2024 - Java
KeY Theorem Prover for Deductive Java Verification
My sandbox for experimenting with solver algorithms.
Refactor of dLinear4 https://github.com/martinjos/dlinear4
The efficient SMT-based context-bounded model checker (ESBMC)
Rust bindings for the Z3 solver.
The Yices SMT Solver
Demonstration of some MIP/SAT/SMT solvers/optimizers in multiple programming languages.
v-research website
Aeon programming language
Kotlin/Java API for various SMT solvers
A Formal Method playground for limboole, Z3, nuXmv, and Alloy
uran: A small engine for creating formulas accepted by SMT solver.
The Eldarica model checker
An SMT Solver for string constraints
My attempt at understanding the Z3 API for .NET (F#)
The Cubicle model checker
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Add a description, image, and links to the smt-solver topic page so that developers can more easily learn about it.
To associate your repository with the smt-solver topic, visit your repo's landing page and select "manage topics."