chore: updating badges to be links to crates.io - Githubissues

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.

Apache License 2.0

17 stars 4 forks source link

chore: updating badges to be links to crates.io #70

Closed ImkoMarijnissen closed 1 month ago