Euler Project

  Google Code Jam in Picat

   Planning Problems (also see IPC'14)

   Solving CSP with SAT

   ASP Competitions

   Minizinc Challenge (globals)

   LP and Prolog Programming Contest

   CP Model and Solve Competition


   Converters and Interpreters