3 results found Sort:

testsmt
yinyang testsmt
22
176
mit
6
A fuzzing framework for SMT solvers
z3 smt cvc4 fuzzing smt-lib testing smt-solver
Created 2020-10-30
529 commits to master branch, last one about a year ago
Gbury
dolmen Gbury
16
76
bsd-2-clause
10
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp tptp model ocaml parse functor smt-lib language typechecker ocaml-library theorem-proving flexible-parsers
Created 2016-02-06
657 commits to master branch, last one 9 days ago
touist
touist touist
12
65
mit
9
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
qbf sat smt ocaml yices dimacs minisat smt-lib research education problem-solving propositional-logic
Created 2015-01-31
1,570 commits to master branch, last one 3 years ago