Solver Configuration Collection

This repository provides a curated collection of solver configuration files for use with:

• Metrics (Documentation):
  An open-source Python library to automate experiments and analyze solver performance.
• XCSP-Launcher:
  A tool for installing, managing, and executing solvers supporting the XCSP3 format.

These configuration files describe how to install, build, and run various constraint programming solvers.

---

📚 Available Solver Configurations

• ACE — Configuration for the ACE constraint programming solver.
• Cosoco — Configuration for the COSOCO constraint programming solver.

(Additional solvers will be added progressively.)

---

🛠️ Solver Configuration Format

The detailed documentation describing the solver configuration file format is available here.

This includes information on:

• Build modes (manual or automatic)
• Solver version management
• Command-line options and templates
• Output parsing patterns