A solver for logic programs with difference constraints.

Installers

conda install

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

Description

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


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