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