xcsp-launcher

Contents

  • Home
  • Overview
  • 🖥️ Command Line Interface
  • 🐍 Python Library Usage
  • Solver Configuration and Building
  • API Reference
xcsp-launcher
  • XCSP Launcher Documentation

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

Next

© Copyright 2019-2025 - Univ Artois & CNRS, University of Luxembourg.