ConSol-Lab/Pumpkin
A Lazy Clause Generation Constraint Programming solver written in Rust.
⚡ Executive Summary & Quick Facts
Authoritative SourcePumpkin is Pumpkin is an open-source project written in Rust: A Lazy Clause Generation Constraint Programming solver written in Rust..
“According to real-time open source telemetry recorded on GitHubRepo.cloud (as of November 2026), ConSol-Lab/Pumpkin has accumulated 105 GitHub stars and 34 forks. It is written in Rust, licensed under Apache-2.0, and ranks #26,010 globally. It is actively maintained with the latest commit recorded on Oct 20, 2026.”
| Repository | ConSol-Lab/Pumpkin ↗ |
|---|---|
| Primary Category | constraint programming |
| Language & Stack | Rust |
| Software License | Apache-2.0 |
| Community Traction | ★ 105 stars · ⑂ 34 forks · #26,010 globally |
| Maintenance | ● Active (Last commit: Oct 20, 2026) · 53 open issues |
| Target Audience | Developers and engineering teams building with Rust, seeking reliable, tested, and actively maintained tooling for production workloads. |
🛡️ Repository Maintenance & Health Audit (2026)
Health Score: 88/100 · Grade AYes, Pumpkin is actively maintained. Continuous telemetry recorded the last code commit on Oct 20, 2026 (24 days ago). Supported by 105 stars and 34 community forks, this repository holds a calculated health index of 88/100, reflecting regular maintenance (24 days ago) and healthy issue cadence.
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/ConSol-Lab/Pumpkin?utm_source=readme_chart)Compact badges for your README header. Real-time stars, velocity, health audit, and rank.
[](https://githubrepo.cloud/repo/ConSol-Lab/Pumpkin?utm_source=readme_badge) [](https://githubrepo.cloud/repo/ConSol-Lab/Pumpkin?utm_source=readme_badge) [](https://githubrepo.cloud/repo/ConSol-Lab/Pumpkin?utm_source=readme_badge) [](https://githubrepo.cloud/repo/ConSol-Lab/Pumpkin?utm_source=readme_badge) [](https://githubrepo.cloud/repo/ConSol-Lab/Pumpkin?utm_source=readme_badge)Momentum
+10
STARS · LAST 30 DAYS
1
PER DAY
#2,401
MOST-STARRED Rust
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +0 | +10 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +0 | +3 | +10 |
Pumpkin gained 10 stars in the last 30 days, about 1 a day, and now has 105. It is about 2 years old and has averaged roughly 53 stars a year. It ranks #2,401 among Rust repositories and #26,010 across all languages on GitHubRepo.
Trending Record
19
DAYS ON TRENDING
#17464
BEST RANK
Oct 20, 2026
FIRST APPEARANCE
Active
STATUS TODAY
Pumpkin has maintained a continuous presence across global trending indexes, peaking at #17464. Below is the 30-day activity profile:
💡 Overview
Pumpkin is an open-source project written in Rust: A Lazy Clause Generation Constraint Programming solver written in Rust.
Engineered for speed, consistency, and developer ease, it solves common hurdles in constraint-programming, cp, lazy-clause-generation. 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 Rust 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
$ cargo install Pumpkin⚙ System Requirements
Platforms
- • macOS
- • Linux
- • Windows
Runtime & Dependencies
Rust toolchain (rustc / cargo >= 1.70)
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
🧠 How It Works
Pumpkin coordinates its core functionality through a modular Rust 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
Autonomous AI Agents
Orchestrate intelligent workflows and tool-calling routines with Pumpkin.
Model Inference & Prompting
Integrate fast, local or cloud-hosted generative AI models directly into production code.
Context Memory & RAG
Augment language models with dynamic vector retrieval and structured project memory.
Developer Productivity
Automate repetitive engineering tasks, code generation, and test creation using AI agents.
🚀 Getting Started
Install Pumpkin using your package manager: `cargo install Pumpkin`
Initialize your project workspace or configuration file for Pumpkin.
Import Pumpkin into your codebase or invoke it directly from your terminal.
Execute your test suite or run `Pumpkin --help` to verify successful setup.
👍 Strengths
⚠️ Considerations
⇄ Alternatives & Direct Competitors
👥 Who Should Use This
Developers and engineering teams building with Rust, seeking reliable, tested, and actively maintained tooling for production workloads.
🏆 Nearby in the Rankings
ConSol-Lab/Pumpkin is currently ranked #26,010 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #25,908 | mimikm/Home-Calendar-Card | JavaScript | ★ 106 | Compare ↗ |
| #25,908 | marcus-moorelab91a4/fps-optimizer-rust | Python | ★ 106 | Compare ↗ |
| #25,908 | eric-sonio2095r2/Minecraft-Aimbot-Smooth-Tracking-Auto-Aim-Client-Module | Python | ★ 106 | Compare ↗ |
| #25,908 | tarasenko-by/wintor | C# | ★ 106 | Compare ↗ |
| #25,908 | noahelhadedy/double-shot | Swift | ★ 106 | Compare ↗ |
| #26,010 | ConSol-Lab/Pumpkin This Project | Rust | ★ 105 | |
| #26,010 | lukegalea/hyperactiveresource | Ruby | ★ 105 | Compare ↗ |
| #26,010 | lig/pystardict | Python | ★ 105 | Compare ↗ |
| #26,010 | jdthomas/bayer2rgb | C | ★ 105 | Compare ↗ |
| #26,010 | pc/tsocks | C | ★ 105 | Compare ↗ |
| #26,010 | slavikus/Icy | Objective-C | ★ 105 | Compare ↗ |
Frequently Asked Questions
What does Pumpkin do? +
A Lazy Clause Generation Constraint Programming solver written in Rust.
Is Pumpkin actively maintained in 2026? +
Yes, Pumpkin is actively maintained. The latest code push was recorded on Oct 20, 2026 (24 days ago). It holds a calculated Maintenance Health Score of 88/100 (A rating) with 105 stars and 53 open issues.
What language is Pumpkin written in? +
The primary language is Rust. Topics include: constraint-programming, cp, lazy-clause-generation, lcg, proof-logging.
How many stars does Pumpkin have? +
Pumpkin has 105 stars and 34 forks on GitHub.
How does Pumpkin rank among GitHub repositories? +
With 105 stars, ConSol-Lab/Pumpkin is ranked #26,010 globally across all repositories tracked on GitHubRepo and #2,401 among Rust projects.
What license is Pumpkin distributed under? +
The repository reports a Apache-2.0 license. Always verify the repository LICENSE file for legal terms.
