issues
search
ConSol-Lab
/
Pumpkin
A lazy clause generation constraint solver written in Rust.
Apache License 2.0
18
stars
5
forks
source link
chore: update usage in README
#71
Closed
maartenflippo
closed
1 month ago