clingo (math/clingo) Updated: 1 year, 9 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	debug (Enable debug binaries) universal (Build for multiple architectures)

"clingo" depends on

build (2)

clang-17

cmake

Ports that depend on "clingo"

lib (2)

clingcon

aspcud

Port Health:

Loading Port Health

Installations (30 days)

6

Requested Installations (30 days)

4

Livecheck results

clingo seems to have been updated (port version: 5.7.1, new version: 5.8.0)

livecheck ran: 1 day, 10 hours ago

clingo (math/clingo) Updated: 1 year, 9 months ago Add to my watchlist 0