A solver for logic programs with linear constraints over Integers.

Installers

conda install

  • linux-64  v5.0.0
  • osx-64  v5.0.0
  • win-64  v5.0.0
To install this package with conda run one of the following:
conda install -c potassco clingcon
conda install -c potassco/label/dev clingcon

Description

The clingcon solver extends the clingo ASP system with support for linear constraints over Integers.


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