issues
search
ConSol-Lab
/
Pumpkin
A lazy clause generation constraint solver written in Rust.
Apache License 2.0
17
stars
4
forks
source link
docs: add link to paper and fix container mod documentation & make image in README use link
#68
Closed
ImkoMarijnissen
closed
1 month ago