search

ConSol-Lab / Pumpkin

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

Reformat documentation comment #43

Closed maartenflippo closed 2 months ago