Clingo :: Anaconda.org

conda-forge / packages / clingo 5.6.2

0

A grounder and solver for logic programs.

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingo
Documentation: https://potassco.org/
125407 total downloads
Last upload: 6 months and 22 days ago

Installers

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

linux-ppc64le v5.6.2
osx-arm64 v5.6.2
linux-64 v5.6.2
linux-aarch64 v5.6.2
osx-64 v5.6.2
win-64 v5.6.2

conda install

To install this package run one of the following:
conda install -c conda-forge clingo
conda install -c "conda-forge/label/cf202003" clingo

Description

Clingo is an answer set programming (ASP) system that takes a logic program as input and calculates its answer sets.

© 2023 Anaconda, Inc. All Rights Reserved. (v2.37.5 277532f3) Legal | Privacy Policy