clingo (math/clingo) Updated: 2 months ago Add to my watchlist
An Answer Set Programming system to ground and solve logic programs.Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.
Version: 5.7.1 License: MIT
GitHub
| Maintainers | barracuda156 |
| Categories | math |
| Homepage | https://potassco.org/clingo/ |
| Platforms | darwin |
| Variants |
|
"clingo" depends on
build (2)
Ports that depend on "clingo"
lib (2)Port Health:
Loading Port Health