search

ConSol-Lab / Pumpkin

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

Expose the constraints to the python API #50

Closed maartenflippo closed 1 month ago

maartenflippo commented 2 months ago

With macro magic, we now expose all the solver's constraints to the python API as well.