Murxla is a modular and highly extensible, model-based API Fuzzer for SMT solvers.
Its name is derived from the German (rather informal) word Murks, which can be translated as "screw-up". Murxla is a tool to find Murkses (bugs) in SMT solvers via API fuzzing.
More information and comprehensive documentation is available at: https://murxla.github.io
The latest version of Murxla is available on GitHub: https://github.com/murxla/murxla
For build and installation instructions, see https://murxla.github.io/docs/install.html.
For usage instructions, see https://murxla.github.io/docs/user_guide.html.