clingo-funasp 6.0.0.post16

Python bindings to the clingo solver.

⚡ Overview

Clingo is a cross-platform solver for Answer Set Programming (ASP), developed as part of the Potassco project. It runs on Linux, macOS, Windows, and can also be compiled to JavaScript for use in browsers and JavaScript environments.

ASP offers a simple and powerful modeling language for describing combinatorial problems as logic programs. Clingo takes such a logic program and computes answer sets representing solutions to the given problem.

To get started, check out our Getting Started page or try the Online Demo.

📝 Resources

• Online Demo: https://docs.potassco.org/clingo-preview/
• Python API Documentation: https://docs.potassco.org/clingo-preview/python-api/
• C/C++ API Documentation: https://docs.potassco.org/clingo-preview/c-api/

📦 Binary Packages

💚 Conda

Binary packages are available from Anaconda:

# stable
conda install -c potassco -c conda-forge clingo
# development
conda install -c potassco/label/dev-20 -c conda-forge clingo

Packages have to be installed on top of the conda-forge channel. The Miniforge distribution ships a conda version configured to use this channel by default (see Miniforge installation instructions).

• Supported platforms: linux_x86_64, macosx_14_0_{arm64,x86_64}, win_amd64.
• Supported Python versions: cp312, cp313, cp314.

🐍 PyPI

Python packages are available from PyPI:

# stable
pip install clingo
# development
pip install --extra-index-url https://test.pypi.org/simple clingo

Development packages are available on the separate package index at Test PyPI.

• Supported platforms: manylinux_2_34_{x86_64,ppc64le,aarch64}, macosx_14_0_{arm64,x86_64}, win_amd64.
• Supported Python versions: cp312, cp313, pp311 (manylinux_2_34_x86_64 only).

☁️ Cloudsmith

Packages for Debian and Ubuntu are available on Cloudsmith:

# stable
curl -1sLf 'https://dl.cloudsmith.io/public/potassco/wip-20/setup.deb.sh' | sudo -E bash
sudo apt update
sudo apt install clingo python3-clingo
# development
curl -1sLf 'https://dl.cloudsmith.io/public/potassco/stable/setup.deb.sh' | sudo -E bash
sudo apt update
sudo apt install clingo python3-clingo

Note that only Ubuntu 24.04 (Noble Numbat) and Debian 13 (Trixie) development versions are supported at the moment. Newer distributions or additional architectures might be added later if there is demand.

• Supported architectures: x86_64.

🐧 Ubuntu PPA

For Ubuntu users, a PPA is available for easy installation and updates:

# development
sudo add-apt-repository ppa:potassco/stable
sudo apt update
sudo apt install clingo python3-clingo
# development
sudo add-apt-repository ppa:potassco/wip-20
sudo apt update
sudo apt install clingo python3-clingo

Note that only Ubuntu 24.04 (Noble Numbat) development versions are supported for now. The packages are more or less the same as the ones for Cloudsmith but build and shipped via Ubuntu's Launchpad.

• Supported architectures: x86_64.

🛠️ Building the Application

📋 Requirements

• a C++20 compiler
• re2c
• cmake
• ninja (recommended, optional)
• python (recommended, optional)

🏗️ Building

The instructions below work for both single-config and multi-config generators. For faster builds, consider using the Ninja generator by adding -G Ninja to the cmake command.

mkdir -p build
cmake -S . -B build -DCMAKE_BUILD_TYPE=Release
cmake --build build --config Release

📥 Installation

The install target copies the built files to standard system locations, as determined by GNUInstallDirs.

cmake --build build --config Release --target install

Avoid running the install target as root or administrator; instead, set a local prefix using the CMAKE_INSTALL_PREFIX variable when running cmake. If Python support is important, installing into a virtual environment is a good idea.

🐍 Building the Python Module

It is also possible to just build a Python module for Clingo, which allows you to use Clingo from Python without needing to build the entire application.

📋 Requirements

• a C++20 compiler
• python
• pipx (recommended)

🏗️ Building

Assuming pipx is installed, build the Python module with:

pipx run build .

📥 Installation

It is strongly recommended to install the package into a virtual environment to avoid potential conflicts with other packages or system-wide Python installations. To create and activate a virtual environment, you can use the following commands:

python -m venv .venv
source .venv/bin/activate # Unix-based systems
.venv/Scripts/activate    # Windows

After building, install the generated wheel file from the dist folder:

pip install dist/clingo*.whl