BanditFuzz
BanditFuzz is a fuzzer for state-of-the-art SMT Solvers. BanditFuzz supports most of the logics in the SMT-LIB initiative
This repository includes two key scripts:
- smtfuzz - an SMT fuzzer and input generator
- banditfuzz - a performance fuzzer