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