clingo
A grounder and solver for logic programs.
Installation
To install this package, run one of the following:
Usage Tracking
6.0.0
5.8.1
5.8.0
5.7.2
5.7.1
5 / 8 versions selected
Downloads (Last 6 months): 0
Description
Clingo is an answer set programming (ASP) system that takes a logic program as input and calculates its answer sets.
About
Summary
A grounder and solver for logic programs.
Last Updated
Apr 3, 2025 at 10:26
License
MIT
Total Downloads
92.2K
Supported Platforms
linux-64
win-64
macOS-64
macOS-arm64
GitHub Repository
https://github.com/potassco/clingoDocumentation
https://potassco.org/