SMTFuzz

SMTFuzz is a fuzzing framework for testing SMT solvers and first-order theorem provers. Here we list the bugs bound by SMTFuzz.

Summary

CVC4

Z3

Dreal

Boolector

Yices2

OpenSMT

SMTInterpol

SMT-RAT

ArgoSMT

Eldarica

Ostrich

STP

Alt-Ergo

Vampire

Bitwuzla

MathSAT5

OptiMathSAT

SPASS