Sign in Sign up
cargo

pumpkin-solver

A Lazy Clause Generation Constraint Programming solver written in Rust.

Activity

Latest release
1mo ago
Total releases
11
Cadence
~2 months
Last 12 months
4

Reach

Stars
88

Details

License
MIT OR Apache-2.0
First release
Oct 17, 2024
Releases
Version Released
0.5.0 minor
0.4.0 unknown
0.3.0 unknown
0.2.2 unknown
0.2.1 unknown
0.2.0 unknown
0.1.4 unknown
0.1.3 unknown
0.1.2 unknown
0.1.1 unknown
0.1.0 unknown