GitHub repository: FengZiGG/smt-comp
Description: Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.