{"id":28206054,"url":"https://github.com/cptoolset/xcsp-launcher","last_synced_at":"2026-03-01T22:04:31.296Z","repository":{"id":290989642,"uuid":"974137752","full_name":"CPToolset/XCSP-Launcher","owner":"CPToolset","description":"A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.","archived":false,"fork":false,"pushed_at":"2025-09-08T17:35:00.000Z","size":1458,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-10-08T03:50:08.607Z","etag":null,"topics":["constraint-programming","launcher","tootatis","xcsp3"],"latest_commit_sha":null,"homepage":"https://tootatis.dev","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/CPToolset.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-04-28T10:05:30.000Z","updated_at":"2025-09-08T17:28:58.000Z","dependencies_parsed_at":"2025-08-26T16:29:08.712Z","dependency_job_id":"1a1a6f39-e214-4250-9338-045baf50b8b2","html_url":"https://github.com/CPToolset/XCSP-Launcher","commit_stats":null,"previous_names":["cptoolset/xcsp-launcher"],"tags_count":30,"template":false,"template_full_name":null,"purl":"pkg:github/CPToolset/XCSP-Launcher","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CPToolset%2FXCSP-Launcher","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CPToolset%2FXCSP-Launcher/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CPToolset%2FXCSP-Launcher/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CPToolset%2FXCSP-Launcher/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/CPToolset","download_url":"https://codeload.github.com/CPToolset/XCSP-Launcher/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CPToolset%2FXCSP-Launcher/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29986242,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-01T21:06:37.093Z","status":"ssl_error","status_checked_at":"2026-03-01T21:05:45.052Z","response_time":124,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["constraint-programming","launcher","tootatis","xcsp3"],"created_at":"2025-05-17T10:08:58.501Z","updated_at":"2026-03-01T22:04:31.261Z","avatar_url":"https://github.com/CPToolset.png","language":"Python","readme":"# XCSP-Launcher\n\n[![License: LGPL v3+](https://img.shields.io/badge/License-LGPL%20v3%2B-blue.svg)](https://www.gnu.org/licenses/lgpl-3.0.html)\n[![Python 3.8+](https://img.shields.io/badge/Python-3.8%2B-blue.svg)](https://www.python.org/)\n[![Documentation](https://app.readthedocs.org/projects/xcsp/badge/?version=latest)](https://xcsp-doc.tootatis.dev)\n[![Python Tests](https://github.com/CPToolset/XCSP-Launcher/actions/workflows/tests.yml/badge.svg)](https://github.com/CPToolset/XCSP-Launcher/actions/workflows/tests.yml)\n[![Release](https://github.com/CPToolset/XCSP-Launcher/actions/workflows/release.yml/badge.svg)](https://github.com/CPToolset/XCSP-Launcher/actions/workflows/release.yml)\n[![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=CPToolset_XCSP-Launcher\u0026metric=alert_status)](https://sonarcloud.io/summary/new_code?id=CPToolset_XCSP-Launcher)\n\n\n---\n\n**XCSP-Launcher** is a unified tool to **install**, **build**, and **execute** solvers supporting the [XCSP3](http://xcsp.org/) format.\n\nIt provides a streamlined way to manage solvers, automate their compilation, and run constraint programming instances through a standard, extensible interface.\n\n---\n\n## ✨ Features\n\n- 🛠️ **Solver installation** from GitHub, GitLab, or custom URLs\n- 🧱 **Automatic or manual build** (Gradle, CMake, Makefile, Cargo, Maven, etc.)\n- 🔖 **Solver versioning** and multi-version management\n- ⚡ **Unified execution interface** for solving XCSP3 instances\n- 📝 **Support for solver configuration files** (`.xsc.yaml`) for reproducibility\n- 📄 **Detailed logging** of build and run processes\n- 🧩 **Extensible**: Easily add support for new solvers\n\n---\n\n## 📦 Installation\n\nYou can install `xcsp-launcher` via PyPI:\n\n```bash\npip install xcsp\n```\n\nOr from source:\n\n```bash\ngit clone https://github.com/CPToolset/xcsp-launcher.git\ncd xcsp-launcher\npip install .\n```\n\n\n\u003cdetails\u003e\n\u003csummary\u003eDebian/Ubuntu\u003c/summary\u003e\n\nDownload the latest binary from [github releases](https://github.com/CPToolset/XCSP-Launcher/releases/) and run:\n\n```bash\nsudo dpkg -i xcsp-launcher*.deb\n```\n\u003c/details\u003e\n\n\u003cdetails\u003e\n\u003csummary\u003eMacOS\u003c/summary\u003e\n\nInstall via [Homebrew](https://brew.sh):\n\n```bash\nbrew tap CPToolset/homebrew-xcsp-launcher\nbrew install xcsp\n```\n\u003c/details\u003e\n\n\n---\n\n## 🚀 Quick Start\n\n### Install a solver\n\n```bash\nxcsp install --id ace --name ACE --repo xcsp3team/ace --source github.com\n```\n\nThis will:\n- Clone the solver repository,\n- Automatically detect the build system (or use configuration),\n- Build the solver,\n- Register it in your local solver repository.\n\n---\n\n### Solve an instance\n\n```bash\nxcsp solve --solver ace --instance path/to/instance.xml\n```\n\n---\n\n## 🧰 Example Configuration (.xsc.yaml)\n\n```yaml\nname: \"ACE\"\nid: \"fr.cril.xcsp.ace\"\ngit: \"https://github.com/xcsp3team/ace\"\nlanguage: \"java\"\nbuild:\n  mode: manual\n  build_command: \"gradle build -x test\"\ncommand:\n  prefix: \"java -jar\"\n  template: \"{{executable}} {{instance}} {{options}}\"\n  always_include_options: \"-npc=true -ev\"\nversions:\n  - version: \"2.4\"\n    git_tag: \"2.4\"\n    executable: \"build/lib/ACE-2.4.jar\"\n```\n\nFor more information about the format of the solver-configuration please see the documentation of [`metrics`](https://github.com/crillab/metrics-solvers/blob/main/format.md).  \n\n---\n\n## 🛠 Supported Build Systems (Auto-detection)\n\n- Gradle (`build.gradle`)\n- Maven (`pom.xml`)\n- CMake (`CMakeLists.txt`)\n- Make (`Makefile`)\n- Rust Cargo (`Cargo.toml`)\n- Python setuptools (`setup.py`, `pyproject.toml`)\n\n---\n\n## 📚 Other Projects\n\n- [`xcsp-launcher-homebrew`](https://github.com/CPToolset/xcsp-launcher-homebrew) — Homebrew Tap for installing XCSP-Launcher easily on macOS/Linux.\n- [`xcsp-metadata`](https://github.com/CPToolset/xcsp-metadata) — A metadata repository for XCSP3 instances (domains, categories, etc.).\n- [`metrics-solver`](https://github.com/crillab/metrics-solvers) — Predefined solver configurations available by default with `xcsp-launcher` for easy installation and experimentation.\n\n---\n\n## 🚀 Projects Using XCSP-Launcher\n\n- [`metrics`](https://github.com/crillab/metrics) — An open-source Python library to automate experimental campaigns and analyze solver performances.\n\n---\n\n## 🤝 Contributing\n\nWe welcome contributions!  \nFeel free to open issues, suggest features, or submit pull requests.\n\nPlease read [CONTRIBUTING.md](CONTRIBUTING.md) for guidelines.\n\n---\n\n## ⚖️ License\n\nThis project is licensed under the **LGPL v3+** License.  \nSee [LICENSE](LICENSE) for details.\n\n---\n\n## 🌍 Related Links\n\n- [XCSP3 Official Website](http://xcsp.org/)\n- [PyCSP3 Python Modeling Library](http://pycsp.org/)\n\n---","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcptoolset%2Fxcsp-launcher","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcptoolset%2Fxcsp-launcher","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcptoolset%2Fxcsp-launcher/lists"}