conda-forge / packages / clingo 5.5.2

A grounder and solver for logic programs.

Installers

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

conda install

  • osx-arm64  v5.5.2
  • linux-64  v5.5.2
  • osx-64  v5.5.2
  • win-64  v5.5.2
To install this package with conda 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.

© 2022 Anaconda, Inc. All Rights Reserved. (v2.35.6 2c9116fb) Legal | Privacy Policy