MURXLA

Murxla is a modular and highly extensible, model-based API Fuzzer for SMT solvers... Murxla randomly generates valid sequences of solver API calls based on a customizable API model, with full support for the semantics and features of SMT-LIB. It is solver-agnostic but extensible to allow for solver-specific testing and supports option fuzzing, cross-checking with other solvers, translation to SMT-LIB, and SMT-LIB input fuzzing.