A grounder and solver for logic programs.

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