XCSP Launcher Documentation

Welcome to the documentation of XCSP Launcher — a unified CLI for installing, configuring, and running XCSP3-compatible solvers.

Contents

• Home
• Overview
  • Introduction
  • 📦 Installation
  • Next Step
• 🖥️ Command Line Interface
  • 🔧 General Usage
  • 🛠️ Solver Installation
  • ⚙️ Solving an Instance
• 🐍 Python Library Usage
  • 🔍 List available solvers
  • ⚙️ Create and configure a solver
  • 🧠 Solver metadata
  • 🚀 Solving an instance
  • ✅ Interpreting the status
  • 📚 See also
• Solver Configuration and Building
  • 📄 Solver Configuration
  • Solver Building
• API Reference
  • CheckStatus
  • ResultStatusEnum
  • Solver

Indices and tables

• Index

• Module Index

• Search Page