Skip to content

v5.7.0

Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 15 Feb 20:20
8d01a41

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 AST node for comments (#417)
  • add function to change undo mode (#409)
  • add function to access priorities to API (#406)
  • add Model::is_consequence to API (#423)
  • add option to preserve facts (#457)
  • improve hash table performance (#441)
  • extend add_theory_atom method of backend (#461)
    (breaks backward compatibility of the API)
  • add contribution guidelines (#465)
  • fix add_theory_atom_with_guard in Python API
  • fix AST bugs (#403)
  • fix parsing of hexadecimal numbers (#421)
  • fix assignment aggregates (#436)
  • fix build scripts for Python 3.12 (#452)
  • fix overflows in IESolver (#462)
  • make sure clingo_control_ground is re-entrant (#418)
  • update clasp and dependencies