fix: using contains in if-statement rather than direct equality - Githubissues

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.

Apache License 2.0

18 stars 5 forks source link

fix: using contains in if-statement rather than direct equality #74

Closed ImkoMarijnissen closed 1 month ago