Clingcon | Anaconda.org

potassco / packages / clingcon 5.2.1

0

A solver for logic programs with linear constraints over integers.

Conda
Files
Labels
Badges

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingcon
Documentation: https://potassco.org/
6070 total downloads
Last upload: 1 month and 9 hours ago

Installers

Info: This package contains files in non-standard labels.

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
conda install potassco/label/dev-20::clingcon

Description

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

potassco / packages / clingcon 5.2.1 0

Installers

conda install

Description

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy

potassco / packages / clingcon 5.2.1

0