Packages
- The easiest way to obtain clingo-lpx packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo-lpx`.
- Ubuntu users can install packages from our [Ubuntu PPA][ppa].
- Clingo-dl's Python module is available on [PyPI][pypi].
Changes
* switch from gmpxx to libflint
* optimize tableau representation
* add objective function
* add option to propagate bounds
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo-lpx
[ins]: https://docs.conda.io/projects/conda/en/latest/user-guide/install/index.html
[ppa]: https://launchpad.net/~potassco
[pypi]: https://pypi.org/project/clingo-lpx/