Euler Project

  Google Code Jam in Picat

   Planning Problems (also see IPC'14)

   Solving CSP with SAT

   ASP Competitions

   Minizinc Challenge (globals)

   CP Model and Solve Competition

   Prolog Programming Contest



   Converters and Interpreters