clingo ☆
« Back to VersTracker
Description:
ASP system to ground and solve logic programs
Type: Formula  |  Latest Version: 5.8.0@0  |  Tracked Since: Dec 17, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: logic-programming constraint-solving asp declarative ai optimization
Install: brew install clingo
About:
Clingo is an Answer Set Programming (ASP) system that grounds and solves logic programs. It combines a highly efficient grounder with advanced constraint solving capabilities to solve complex combinatorial problems. This unified toolset allows users to model problems in a high-level, non-monotonic language and find solutions efficiently.
Key Features:
  • Unified grounding and solving pipeline
  • Expressive non-monotonic logic programming language
  • High-performance constraint solving
  • Python and Lua scripting integration
  • Supports optimization and multiple search strategies
Use Cases:
  • Solving complex scheduling and planning problems
  • Modeling and solving combinatorial optimization tasks
  • Knowledge representation and reasoning in AI applications
  • Automated configuration and product line engineering
Alternatives:
  • Z3 – Z3 is a theorem prover from Microsoft Research, primarily focused on Satisfiability Modulo Theories (SMT), whereas Clingo specializes in Answer Set Programming (ASP) for declarative problem solving.
  • Gurobi – Gurobi is a commercial solver for mixed-integer linear programming (MILP), while Clingo uses a declarative logic-based approach for general combinatorial problems.
License: MIT
Dependencies: cffi, lua, python@3.14
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
Version History
Detected Version Rev Change Commit
Sep 11, 2025 6:33am 0 VERSION_BUMP d5ad70fd
Oct 10, 2024 5:40pm 0 VERSION_BUMP 80e55a28
Oct 10, 2024 12:17pm 0 VERSION_BUMP 69536a50
« Back to VersTracker  |  Browse Packages  |  About