potassco / packages / clingo-dl 1.3.0

A solver for logic programs with difference constraints.

Installers

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

Description

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