GitHub repository: krest1nka/yinyang
Description: A fuzzing framework for SMT solvers