About Anaconda Help Download Anaconda

A solver for logic programs with linear constraints over integers.

Installers

  • linux-64 v5.2.1
  • win-64 v5.2.1
  • osx-64 v5.2.1

conda install

To install this package run one of the following:
conda install potassco::clingcon
conda install potassco/label/dev::clingcon

Description

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


© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy