Skip to content

v5.5.1
Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 16 Nov 10:15
· 352 commits to master since this release
v5.5.1
47cb64b
This commit was signed with the committer’s verified signature.
rkaminsk Roland Kaminski
GPG key ID: 18B18ECF8D9A1533
Learn about vigilant mode.

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

  • extend theory class to get version information
  • improve performance of Model.symbol (#296)
  • tidy up clingo.hh header regarding C++17 deprecations (#344)
  • fix error handling while solving in Python API (#334)
  • fix various other bugs
Assets 2
Loading