Releases: potassco/clingo-dl
Releases · potassco/clingo-dl
v1.5.0
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 dl-specific heuristic (#71)
- update to clingo 5.7.0
v1.4.0
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
v1.3.0
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
- extended optimization algorithm
- add propagation mode to propagate through zero nodes
- large code refactoring
v1.2.0
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
- update to clingo 5.5.0
- more flexible syntax for &diff constraints
- add support for pip
- various bug fixes
v1.1.0
Packages
The easiest way to install clingo-dl 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.
Changes
- add weaker but faster propagation modes
- add option to add mutexes in a preprocessing step
- add support for incremental solving
- there is an option to minimize a variable now
- add unit tests
- improve and extend theory interface + an example
- update to clingo 5.4.0
v1.0.0
Packages
The easiest way to install clingo-dl 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.
clingoDL-v1.0.0-beta
Beta Release of clingoDL