clingo
ASP system to ground and solve logic programs
- Category
- Homebrew formulae
brew install clingo Official docs outline
potassco.orgExtra Credit builds an outline of clingo's docs the first time your work uses it. Until then, start at the official documentation.
More in Homebrew formulae
All 3,000-
pdfgrep Search PDFs for strings matching a regular expression
-
ccmux Run all your AI coding agents in tmux
-
libmemcached C and C++ client library to the memcached server
-
hf-mcp-server MCP Server for Hugging Face
-
libiodbc Database connectivity layer based on ODBC. (alternative to unixodbc)
-
howdoi Instant coding answers via the command-line
-
liblo Lightweight Open Sound Control implementation
-
gtk-mac-integration Integrates GTK macOS applications with the Mac desktop
-
libpaho-mqtt Eclipse Paho C client library for MQTT
-
syslog-ng Log daemon with advanced processing pipeline and a wide range of I/O methods
-
samply CLI sampling profiler
-
komac Community Manifest Creator for Windows Package Manager (WinGet)