Search Results - RepositoryStats

23

187

mit

5

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 2 years ago

18

84

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

666 commits to master branch, last one 3 days ago

12

64

mit

8

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 4 years ago

8

34

mit

7

An SMT solver frontend for OCaml

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

Created 2023-03-23

837 commits to main branch, last one 2 days ago

5

34

mit

5

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

363 commits to main branch, last one 2 months ago