SMT-COMP

AcronymDefinition
SMT-COMPSatisfiability Modulo Theories Competition