Manage | Anaconda.org

potassco / packages / clingo-dl 1.4.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-dl
Documentation: https://potassco.org/
15647 total downloads
Last upload: 26 days and 22 hours ago

Installers

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

osx-64 v1.4.0
win-64 v1.4.0
linux-64 v1.4.0

conda install

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

Description

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

potassco / packages / clingo-dl 1.4.0 0

Installers

conda install

Description

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

potassco / packages / clingo-dl 1.4.0

0