search

ConSol-Lab / Pumpkin

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

Update ci.yml #37

Closed maartenflippo closed 3 months ago

maartenflippo commented 3 months ago

Master was renamed to main