A solver for logic programs with difference constraints.


conda install

  • linux-64  v1.3.0
  • osx-64  v1.3.0
  • win-64  v1.3.0
To install this package with conda run one of the following:
conda install -c potassco clingo-dl
conda install -c potassco/label/dev clingo-dl


The clingo-dl solver extends the clingo ASP system with support for difference logic constraints.

© 2022 Anaconda, Inc. All Rights Reserved. (v2.36.2 8286a182) Legal | Privacy Policy