Clingcon | Anaconda.org

conda-forge / packages / clingcon 5.2.1

0

A solver for logic programs with linear constraints over integers.

copied from cf-staging / clingcon

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingcon
Documentation: https://potassco.org/
88781 total downloads
Last upload: 3 months and 3 days ago

Installers

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

conda install

To install this package run one of the following:
conda install conda-forge::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