Search Results - RepositoryStats

23

185

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

17

80

bsd-2-clause

11

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

659 commits to master branch, last one about a month ago

12

64

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

4

29

mit

4

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

smt-lib satisfiability-modulo-theories

Created 2023-04-16

343 commits to main branch, last one 19 hours ago

8

27

mit

7

A frontend for multiple SMT solvers in OCaml

z3 smt cvc5 ocaml smt-lib alt-ergo bitwuzla colibri2 webassembly symbolic-execution

Created 2023-03-23

751 commits to main branch, last one 16 hours ago