Watch merlin/Chimera

A fuzz testing tool for SMT solvers

Watch merlin/z3

Z3 is a theorem prover from Microsoft Research.

Watch merlin/cvc5

Watch merlin/HistFuzz

SMT solver fuzzing tool

Watch merlin/pwndbg

Watch merlin/klee-bitwuzla

Watch merlin/cdcl_ocac

Watch merlin/klee

Watch merlin/ultimate

A framework for SMT

Watch merlin/STAUB