SMT-COMP

1. REDIRECT Satisfiability modulo theories#Standardization and the SMT-COMP solver competition

{{R_with_possibilities}}