13 results found Sort:
- Filter by Primary Language:
- SMT (2)
- C (1)
- C++ (1)
- Go (1)
- Haskell (1)
- Java (1)
- Agda (1)
- OCaml (1)
- Python (1)
- Rust (1)
- Scala (1)
- Jupyter Notebook (1)
- +
The Yices SMT Solver
Created
2014-11-10
5,263 commits to master branch, last one 14 days ago
Rust bindings for the Z3 solver.
Created
2018-03-08
494 commits to master branch, last one about a month ago
The efficient SMT-based context-bounded model checker (ESBMC)
Created
2015-06-20
23,964 commits to master branch, last one 17 hours ago
A fuzzing framework for SMT solvers
Created
2020-10-30
529 commits to master branch, last one about a year ago
My sandbox for experimenting with solver algorithms.
Created
2011-06-12
2,996 commits to master branch, last one 20 days 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 9 months 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 4 years ago
A modular sat/smt solver with proof output.
Created
2014-10-29
736 commits to master branch, last one 8 months ago
Agda bindings to SMT-LIB2 compatible solvers.
Created
2020-08-17
168 commits to main branch, last one about a year ago
The Eldarica model checker
Created
2014-07-20
696 commits to master branch, last one 10 days ago
KeY Theorem Prover for Deductive Java Verification
Created
2022-12-20
19,062 commits to main branch, last one 24 days ago
gradient-based symbolic execution engine implemented from scratch
Created
2023-10-30
95 commits to main branch, last one 9 months ago