Wettbewerbe für Constraint-Solver

• für aussagenlogische Formeln:

  http://www.satcompetition.org/

  (SAT = satisfiability)

• für prädikatenlogische Formeln

  http://smtcomp.sourceforge.net/

  (SMT = satisfiability modulo theories)

  Theorien: $\mathbb {Z}$ mit ≤, Plus, Mal; $\mathbb {R}$ mit ≤, Plus; ...

• Termination und Komplexität

  http://www.termination-portal.org/wiki/Termination_Competition