Compétition XCSP3 : second appel à participation de solveurs

Bonjour à tous,

  ceci est un appel à participation à la première compétition XCSP3 de solveurs de contraintes.
 

   Second Call for Solvers and Benchmarks

   First XCSP3 Competition  (CSP and COP Competition)

    www.xcsp.org

We welcome solvers that are:

•  Complete or Incomplete
•  Sequential or Parallel
•  apt at solving Decision Problems (CSP)
•  apt at solving Optimization Problems (COP)

 Deadline for participating: June 3, 2017

All details can be found at:

• http://xcsp.org/competition
• http://xcsp.org/call2017.pdf