clingo

Community

A grounder and solver for logic programs.

Versions

To install this package, run one of the following:

$conda install conda-forge::clingo

Version

5 / 8 versions selected

Downloads (Last 6 months): 0

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

Summary

A grounder and solver for logic programs.

Last Updated

Apr 4, 2025 at 12:39

License

MIT

Total Downloads

422.1K

Supported Platforms

win-64

macOS-arm64

macOS-64

linux-ppc64le

linux-64

linux-aarch64

Home

GitHub Repository

Documentation