ConSol-Lab
Pumpkin
Rust

A Lazy Clause Generation Constraint Programming solver written in Rust.

Last updated Jun 30, 2026
82
Stars
33
Forks
45
Issues
0
Stars/day
Attention Score
50
Language breakdown
Rust 90.7%
MiniZinc 4.6%
C 2.6%
C++ 1.4%
Python 0.5%
Shell 0.1%
โ–ธ Files click to expand
README
No README available.
๐Ÿ”— More in this category

ยฉ 2026 GitRepoTrend ยท ConSol-Lab/Pumpkin ยท Updated daily from GitHub