v5.8.0

Packages

• The easiest way to obtain Python enabled clingo packages is using Anaconda. First install either Anaconda or Miniconda or Miniforge and then run:
  • conda create -n potassco -c conda-forge clingo for the latest stable package from the conda-forge channel
  • conda create -n potassco -c potassco clingo for the latest stable package from the Potassco channel
  • conda create -n potassco -c potassco/label/dev clingo for the latest development package from the Potassco channel
  • We recommend to use conda-forge together with Miniforge as it provides a wider range of packages targetting more platforms. Choose the Potassco channel if you are interested in the latest development packages.
  • If you have and ARM-based Apple system and want to use conda-forge, run pip install cffi --force in the potassco environment to workaround a bug in libffi (affects the clingo.ast module in Python).
• Ubuntu users can install packages from our Ubuntu PPA.
• Clingo's Python module is available on PyPI.
• Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
• For Mac OS X, clingo packages are available in homebrew and macports.

Changes

• extend API to read/write aspif programs (#530)
• extend API to remove project and minimize statements (#527)
• fix cffi issues with python 3.12 (#486)
• fix comment enum in Python API (#507)
• bump cmake requirement to 3.10 (#541)
• update clasp fixing various issues (#528)