v1.3.0

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

• switch from gmpxx to libflint
• optimize tableau representation
• add objective function
• add option to propagate bounds

v1.2.0

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

clingo-lpx version 1.1.0

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 API (C and Python)

clingo-lpx version 1.0.0

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.