Specifications PyCSP3 Tools Instances Competitions About

XCSP Competitions

Since 2022, all editions of the XCSP competition are organized by compiling models developed with the library PyCSP3 into XCSP3.

🟢 2025

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat CPMpy_ortools CPMpy_ortools CPMpy_ortools/
PyCSP3_ortools
miniBTD Toulbar2
silver PySCP3-ortools/
CPMpy-ortools
CoSoCo CoSoCo Choco Nacre Sat4j-botm
bronze Choco Picat Choco CoSoCo Exchequer miniRBO

🟢 2024

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat CPMpy_ortools Picat CPMpy_ortools CPMpy_chuffed Exchequer
silver CPMpy-ortools Picat CoSoCo Choco miniBTD miniRBO
bronze Fun-sCOP CoSoCo Choco Toulbar2 Nacre Toulbar2


🟢 2023

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat Mistral Choco Choco Exchequer toulbar2
silver Fun-sCOP (kissat) Choco Mistral toulbar2 miniBTD Exchequer
bronze Choco CoSoCo CoSoCo   Nacre Sat4j-both


🟢 2022

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat Picat CoSoCo Choco Exchequer Mistral
silver Fun-sCOP (cadical) CoSoCo Picat toulbar2 miniBTD toulbar2
bronze Choco Mistral Mistral   Sar4j-res miniRBO



The three first editions of the XCSP competition using the format XCSP3 were organized from 2017 to 2019.

🔵 2019

  Main CSP Main COP Fast COP Parallel CSP Parallel COP Mini CSP
gold PicatSAT PicatSAT AbsCon PicatSAT PicatSAT NACRE (hybrid)
silver Fun-sCOP (Crypto) choco PicatSAT Fun-sCOP (hybrid) Choco // miniBTD
bronze Fun-sCOP (Glucose) AbsCon choco Fun-sCOP (order) AbsCon CoSoCo


🔵 2018

  Main CSP Main COP Fast COP Parallel CSP Mini CSP Mini COP
gold scop (order-maple) PicatSAT Concrete scop (order-syrup) NACRE CoSoCo
silver scop (both-maple) Concrete Choco 4 scop (both-syrup)) miniBTD_12 Schul & Mal
bronze PicatSAT Choco 4 OscaR Choco 4 // miniBTD GG’s minicp


🔵 2017

  • Organizers: Christophe Lecoutre, Olivier Roussel, Cédric Piette, Pierre Schaus, Arnaud Malapert, and Charles Prud’homme
  • Slides
  • Results (Tables, Traces)
  • Instances
  Main CSP Main COP Fast COP Parallel CSP Parallel COP Mini CSP Mini COP
gold Choco 4 Mistral 2 Oscar Choco 4 // Choco 4 // CoSoCo CoSoCo
silver Choco 5 Oscar Mistral 2 Choco 4 Oscar // miniBTD Naxos
bronze AbsCon AbsCon Choco 4 Choco 5 Mistral 2 Naxos  



The two first editions of the XCSP Competition were organized in 2005 and 2006 using the format XCSP 1.1. The two next ones were organized in 2008 and 2009 with the format XCSP 2.1. These format versions are now deprecated.

🟡 2009

  • Organizers: Marc van Dongen, Christophe Lecoutre and Olivier Roussel
  • Slides
  • Results (Tables, Traces)
  • Instances

🟡 2008

🟡 2006

🟡 2005

🟡 2004