clingo version 5.2.2

rkaminsk released this 06 Nov 17:45

· 921 commits to master since this release

Packages

Packages for clingo are available in the Linux distributions Debian, Ubuntu, and Arch Linux (AUR).
For Mac OS X, clingo packages are available in homebrew and macports.
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.

Changes

update to clasp version 3.3.3
use GNUInstallDirs in cmake files to simplify packaging
fix --pre option
fix swapped clingo_assignment_size and clingo_assignment_max_size
fix docstrings
fix incremental mode
fix sup and inf in python/lua bindings
fix reified format term tuples
fix wrong use of python API (causing trouble with python 3.6)
fix compilation problems on 32bit linux (missing libatomic)

Assets 5