GitHub repository: testsmt/yinyang
Primary language: Python
Description: A fuzzing framework for SMT solvers