search

ConSol-Lab / Pumpkin

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

Release: pumpkin-solver v0.1.1 #72

Closed maartenflippo closed 1 month ago