search

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.
Apache License 2.0
18 stars 5 forks source link

refactor(pumpkin-solver): update to drcp-format v0.2.0 #107

Closed maartenflippo closed 3 weeks ago