Clingo Lpx | Anaconda.org

conda-forge / packages / clingo-lpx 1.3.0

0

A solver for logic programs with linear constraints.

copied from cf-staging / clingo-lpx

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

Installers

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

conda install

To install this package run one of the following:
conda install conda-forge::clingo-lpx

Description

The clingo-lpx solver extends the clingo ASP system with support for linear constraints over rational numbers.

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