๐ฆ A grounder and solver for logic programs.
โก Executive Summary & Quick Facts
Authoritative Sourceclingo is clingo is an open-source project written in C++: ๐ฆ A grounder and solver for logic programs..
| Repository | potassco/clingo โ |
|---|---|
| Primary Category | answer set programming |
| Language & Stack | C++ |
| Software License | MIT |
| Community Traction | โ 840 stars ยท โ 102 forks ยท #7,137 globally |
| Maintenance | โ Active (Last commit: Oct 4, 2026) ยท 12 open issues |
| Target Audience | Developers and engineering teams building with C++, seeking reliable, tested, and actively maintained tooling for production workloads. |
Star History
Add Live Star History & Verified Badges to README.md
Keep your repository README looking professional and dynamic. As our continuous crawler records new stars, these official SVG badges update in real time with zero maintenance.
Renders your high-resolution star trajectory chart right inside your GitHub README or project docs.
[](https://githubrepo.cloud/repo/potassco/clingo?utm_source=readme_chart)Compact Shields-style badges for your README header. Shows real-time stars and global ranking.
[](https://githubrepo.cloud/repo/potassco/clingo?utm_source=readme_badge) [](https://githubrepo.cloud/repo/potassco/clingo?utm_source=readme_badge) [](https://githubrepo.cloud/repo/potassco/clingo?utm_source=readme_badge)Momentum
+21
STARS ยท LAST 30 DAYS
1
PER DAY
#552
MOST-STARRED C++
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +0 | +21 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +0 | +3 | +10 |
clingo gained 21 stars in the last 30 days, about 1 a day, and now has 840. It is about 10 years old and has averaged roughly 84 stars a year. It ranks #552 among C++ repositories and #7,137 across all languages on GitHubRepo.
Trending Record
15
DAYS ON TRENDING
#5526
BEST RANK
Oct 5, 2026
FIRST APPEARANCE
Active
STATUS TODAY
clingo has maintained a continuous presence across global trending indexes, peaking at #5526. Below is the 30-day activity profile:
๐ก Overview
clingo is an open-source project written in C++: ๐ฆ A grounder and solver for logic programs.
Engineered for speed, consistency, and developer ease, it solves common hurdles in answer-set-programming, declarative-programming, logic-programming. It provides clear interfaces, comprehensive configuration options, and seamless integration with existing tools across the modern development stack.
โก Key Features
Optimized execution pipeline written in C++ for predictable speed.
Zero-friction configuration with comprehensive sensible defaults out of the box.
Cross-platform runtime support across Linux, macOS, and Windows environments.
Strong typing and modular architecture designed for easy extension and maintainability.
Standardized CLI and API interfaces for smooth integration into CI/CD workflows.
Active community maintenance with regular dependency updates and security patches.
๐ฅ Installation
$ git clone https://github.com/potassco/clingo.git
cd clingoโ System Requirements
Platforms
- โข macOS
- โข Linux
- โข Windows
Runtime & Dependencies
C++20 compliant compiler (GCC 11+, Clang 13+, MSVC)
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
๐ง How It Works
clingo coordinates its core functionality through a modular C++ pipeline. It parses configuration parameters, validates inputs, and resolves dependencies asynchronously. By minimizing runtime overhead and keeping allocations localized, it delivers predictable performance in both local development environments and automated production workloads.
๐ฏ Production Use Cases
Production System Integration
Embed clingo into C++ backend services to handle core application logic.
CI/CD Automated Pipelines
Run automated validation, builds, and integration suites during deployments.
Developer Tooling & Workflows
Accelerate developer onboarding with pre-configured project utilities.
Open Source Extension
Fork and customize internal modules under the repository's open MIT license.
๐ Getting Started
Install clingo using your package manager: `git clone https://github.com/potassco/clingo.git`
Initialize your project workspace or configuration file for clingo.
Import clingo into your codebase or invoke it directly from your terminal.
Execute your test suite or run `clingo --help` to verify successful setup.
๐ Strengths
โ ๏ธ Considerations
โ Alternatives & Direct Competitors
๐ฅ Who Should Use This
Developers and engineering teams building with C++, seeking reliable, tested, and actively maintained tooling for production workloads.
๐ Nearby in the Rankings
potassco/clingo is currently ranked #7,137 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #7,130 | luigifcruz/CyberEther | C++ | โ 841 | Compare โ |
| #7,130 | LiYanan2004/MarkdownView | Swift | โ 841 | Compare โ |
| #7,130 | duriantaco/skylos | Python | โ 841 | Compare โ |
| #7,130 | rushiranpise/Shizuku-Next | Kotlin | โ 841 | Compare โ |
| #7,130 | ThariqS/ai-newtab | TypeScript | โ 841 | Compare โ |
| #7,137 | potassco/clingo This Project | C++ | โ 840 | |
| #7,137 | sfepy/sfepy | Python | โ 840 | Compare โ |
| #7,137 | frankea/Whisky | Swift | โ 840 | Compare โ |
| #7,140 | JakeWharton/dependency-tree-diff | Kotlin | โ 839 | Compare โ |
| #7,140 | Steve-Mr/EmojiFace | Kotlin | โ 839 | Compare โ |
| #7,140 | ahujasid/camera-to-blender | JavaScript | โ 839 | Compare โ |
Frequently Asked Questions
What does clingo do? +
๐ฆ A grounder and solver for logic programs.
What language is clingo written in? +
The primary language is C++. Topics include: answer-set-programming, declarative-programming, logic-programming.
Is clingo actively maintained? +
Yes, the last recorded push was on Oct 4, 2026 with 12 open issues being tracked.
How many stars does clingo have? +
clingo has 840 stars and 102 forks on GitHub.
How does clingo rank among GitHub repositories? +
With 840 stars, potassco/clingo is ranked #7,137 globally across all repositories tracked on GitHubRepo and #552 among C++ projects.
What license is clingo distributed under? +
The repository reports a MIT license. Always verify the repository LICENSE file for legal terms.
