v1.2.0
·
108 commits
to master
since this release
Packages
- The easiest way to obtain clingo-lpx 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-lpx. - Ubuntu users can install packages from our Ubuntu PPA.
- Clingo-dl's Python module is available on PyPI.
Changes
- add support for ASPIF parsing
- add phase selection heuristic
- add bound propagation