Clingo Lpx | Anaconda.org

potassco / packages / clingo-lpx 1.3.0

0

A solver for logic programs with difference constraints.

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingo-lpx
Documentation: https://potassco.org/
504 total downloads
Last upload: 3 months and 9 days ago

Installers

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

Description

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

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