PrototypeCommon
ConSol-Lab/Pumpkin
A Lazy Clause Generation Constraint Programming solver written in Rust.
- Owner
- ConSol-Lab (organization)
- Stars
- Stars: 106
- Forks
- Forks: 34
- Language
- Rust
- License
- Apache-2.0
- Created
- 2024
- Topics
- constraint-programmingcplazy-clause-generationlcgrustproof-logging
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- beescuit/chatflareStars: 106RustPrototype
- Zagrios/ObeliskStars: 106RustPrototype
- XNinety9/PrintrStars: 106RustPrototype
- cuviper/probe-rsStars: 106RustPrototype
- sbstp/rust-igdStars: 106RustPrototype
- chyh1990/imageprocStars: 106RustPrototype