Clingo Lp | Anaconda.org

conda-forge / packages / clingo-lp 0.2.0

0

A solver for logic programs with linear constraints.

copied from cf-staging / clingo-lp

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingoLP
Documentation: https://potassco.org/
2033 total downloads
Last upload: 3 years and 11 days ago

Installers

noarch v0.2.0

conda install

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

Description

The clingo-lp 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