clingo (math/clingo) Updated: 4 months, 4 weeks 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
  • debug (Enable debug binaries)
  • universal (Build for multiple architectures)

"clingo" depends on

build (2)

Ports that depend on "clingo"



Port Health:

Loading Port Health

Installations (30 days)

5

Requested Installations (30 days)

2