Manage | Anaconda.org

potassco / packages / clingo-lpx 1.3.0

0

A solver for logic programs with difference constraints.

Conda
Files
Labels
Badges

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingo-lpx
Documentation: https://potassco.org/
815 total downloads
Last upload: 14 days and 23 minutes ago

Installers

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

osx-64 v1.3.0
linux-64 v1.2.0
win-64 v1.2.0

conda install

To install this package run one of the following:
conda install potassco::clingo-lpx
conda install potassco/label/dev::clingo-lpx
conda install potassco/label/dev-20::clingo-lpx

Description

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

potassco / packages / clingo-lpx 1.3.0 0

Installers

conda install

Description

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

potassco / packages / clingo-lpx 1.3.0

0