msakai / toysolver

My sandbox for experimenting with solver algorithms.
Other
154 stars 11 forks source link

Allow specifying PB encoding strategy #77

Closed msakai closed 2 years ago