# ConSol-Lab/Pumpkin

<https://repo.masters-masters.com/en/repos/ConSol-Lab/Pumpkin>

[Home](https://repo.masters-masters.com/en) › [ConSol-Lab](https://repo.masters-masters.com/en/owners/ConSol-Lab) › [Pumpkin](https://repo.masters-masters.com/en/repos/ConSol-Lab/Pumpkin)

ConSol-Lab/Pumpkin has 106 stars on GitHub. Its RepoMasters card: Prototype tier. A Lazy Clause Generation Constraint Programming solver written in Rust.

| Field | Value |
| --- | --- |
| Owner | [ConSol-Lab](https://repo.masters-masters.com/en/owners/ConSol-Lab) |
| Stars | 106 |
| Forks | 33 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2024 |
| Topics | constraint-programming, cp, lazy-clause-generation, lcg, rust, proof-logging |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ConSol-Lab/Pumpkin](https://github.com/ConSol-Lab/Pumpkin) |

## Repository

A Lazy Clause Generation Constraint Programming solver written in Rust.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Rust

- [Geekgineer/needle-rs · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Geekgineer/needle-rs)
- [JYH1878/KimiCodeBar-Windows · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/JYH1878/KimiCodeBar-Windows)
- [skate6743/skate2-rust-port · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/skate6743/skate2-rust-port)
- [cuviper/probe-rs · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/cuviper/probe-rs)
- [sbstp/rust-igd · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/sbstp/rust-igd)
- [chyh1990/imageproc · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/chyh1990/imageproc)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.