v5.8.1

Packages

• The easiest way to obtain Python enabled clingo packages is using Miniforge.
  • conda create -n potassco 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 using the packages from conda-forge as those target more platforms. Choose the Potassco channel if you are interested in the latest development packages.
  • If you have and ARM-based Apple system, 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

• flush files when using file-based backends
• fix re2c detection (#591)
• fix bound computation for integer variables (#626, #628)
• fix segfaults during cleanup (#640)
• fix concurrent creation of symbols and improve concurrent
  reads/writes (#617)
• update clasp to version 3.4.1 fixing various issues (#622, #623)