Clingo :: Anaconda.org

potassco / packages / clingo 5.6.2

4

A grounder and solver for logic programs.

License: MIT
Home: https://potassco.org/
Development: https://github.com/potassco/clingo
Documentation: https://potassco.org/
61509 total downloads
Last upload: 1 month and 20 days ago

Installers

linux-64 v5.6.2
win-64 v5.6.2
osx-64 v5.6.2

conda install

To install this package run one of the following:
conda install -c potassco clingo
conda install -c "potassco/label/dev" 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.6 8f699865) Legal | Privacy Policy