A model-based API Fuzzer for SMT Solvers. - View it on GitHub