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.
- ACE — Configuration for the ACE constraint programming solver.
- Cosoco — Configuration for the COSOCO constraint programming solver.
(Additional solvers will be added progressively.)
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