/contrib/competitions/

• ../
• casc
• smt-comp
• sygus-comp