Skip to content

v5.5.2

Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 04 May 13:20
· 322 commits to master since this release

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 parse_files in C++ API
  • fix adding clauses during enumeration (#359)
  • fix incremental projection with backend (#362)
  • update clasp