osspath
Archive
Repos
osspath
Jobs
Repos
Funding
Ecosystems
Orgs
Explore
Search
⌘K
← Repositories
ConSol-Lab
Pumpkin
A Lazy Clause Generation Constraint Programming solver written in Rust.
81
Stars
33
Forks
35
Issues
Apache-2.0
License
active
Last GitHub commit: Jun 23, 2026
View on GitHub →
Contribution
35 open issues →
active project
Dependencies (22 total)
clap
thiserror
anyhow
rand
regex
log
itertools
once_cell
+14 more
← Browse all repos
Something inaccurate? Report a correction →