A practical fuzzing tool for SMT solvers - View it on GitHub