Skip to content

v5.6.0
Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 11 Sep 15:20
· 140 commits to master since this release
v5.6.0
d88141f
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

  • add support for parsing files in ASPIF format (#387)
    (breaks C API)
  • add theory related functions to backend (#381)
  • add support for comparisons with more than one relation (#368)
  • extend safety by computing intervals from comparisons (#375)
  • add and ground base part by default in Python API (#378)
  • remove experimental CSP extensions (#367)
  • require at least MSVC 15.0 to build on Windows
  • large code refactoring (#376)
  • replace internal hash set implementation by external one (#386)
  • update to clasp version 3.3.9
Assets 2
Loading