14 results found Sort:
- Filter by Primary Language:
- SMT (2)
- C (1)
- C++ (1)
- Go (1)
- Haskell (1)
- Java (1)
- Agda (1)
- Kotlin (1)
- OCaml (1)
- Python (1)
- Rust (1)
- Scala (1)
- Jupyter Notebook (1)
- +
The Yices SMT Solver
Created
2014-11-10
5,272 commits to master branch, last one 2 months ago
Rust bindings for the Z3 solver.
Created
2018-03-08
510 commits to master branch, last one 3 months ago
The efficient SMT-based context-bounded model checker (ESBMC)
Created
2015-06-20
24,449 commits to master branch, last one 24 hours ago
A fuzzing framework for SMT solvers
Created
2020-10-30
529 commits to master branch, last one 2 years ago
Jupyter notebooks for tutorial on the Z3 SMT solver
Created
2019-12-13
41 commits to master branch, last one 2 years ago
Automated Reasoning in Nonlinear Theories of Reals
Created
2017-01-28
1,361 commits to master branch, last one about a year ago
My sandbox for experimenting with solver algorithms.
Created
2011-06-12
3,177 commits to master branch, last one 27 days ago
Go (golang) bindings to the Z3 SMT Solver
This repository has been archived
(exclude archived)
Created
2017-03-03
20 commits to master branch, last one 5 years ago
A modular sat/smt solver with proof output.
Created
2014-10-29
736 commits to master branch, last one about a year ago
Agda bindings to SMT-LIB2 compatible solvers.
Created
2020-08-17
168 commits to main branch, last one 2 years ago
The Eldarica model checker
Created
2014-07-20
726 commits to master branch, last one 23 days ago
KeY Theorem Prover for Deductive Java Verification
Created
2022-12-20
19,230 commits to main branch, last one 14 days ago
gradient-based symbolic execution engine implemented from scratch
Created
2023-10-30
95 commits to main branch, last one about a year ago
Kotlin/Java API for various SMT solvers
Created
2022-06-10
126 commits to main branch, last one 4 days ago