v1.4.0

rkaminsk released this 11 Sep 15:23

· 24 commits to master since this release

77d1d4b

Packages

The easiest way to obtain clingo-dl 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-dl.
Ubuntu users can install packages from our Ubuntu PPA.
Clingo-dl's Python module is available on PyPI.

Changes

add support for ASPIF parsing
improve shifting of zero node
update to clingo 5.6.0

Assets 2