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	Change	Commit
Sep 11, 2025 6:33am	VERSION_BUMP	d5ad70fd
Oct 10, 2024 5:40pm	VERSION_BUMP	80e55a28
Oct 10, 2024 12:17pm	VERSION_BUMP	69536a50
Sep 11, 2024 3:46am	VERSION_BUMP	e97c1315
Feb 18, 2024 2:42am	VERSION_BUMP	7d9c3914
Sep 22, 2023 11:42am	VERSION_BUMP	70dfd345