search

msakai / toysolver

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

Printing MaxSAT solution in the new compact format #65

Closed msakai closed 3 years ago