5 results found Sort:
- Filter by Primary Language:
- OCaml (3)
- Julia (1)
- Python (1)
- +
A fuzzing framework for SMT solvers
Created
2020-10-30
529 commits to master branch, last one about a year ago
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Created
2016-02-06
659 commits to master branch, last one 4 months ago
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Created
2015-01-31
1,570 commits to master branch, last one 4 years ago
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Created
2023-04-16
363 commits to main branch, last one about a month ago
An SMT solver frontend for OCaml
Created
2023-03-23
797 commits to main branch, last one 6 days ago