Skip to content

v5.6.2

Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 07 Nov 09:51
· 121 commits to master since this release
d469780

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • 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

  • fix AST comparison (#394)
  • fix handling of n-ary comparisons in AST (#396)