Support for MaxSAT WCNF

Udopia / gbd

Management of Benchmark Instances and Instance Attributes

https://udopia.github.io/gbd/

MIT License

16 stars 6 forks source link

Closed chrjabs closed 1 year ago

chrjabs commented 1 year ago

Hey Markus, this pull request goes along with this gbdc PR and adds support for MaxSAT in GBD.

chrjabs commented 1 year ago

I have now initialized a database of all MaxSAT instances we have and ironed out some bugs in the process. The PR should now be good to merge.

Udopia commented 1 year ago

Awesome!