MaxSAT Competitions

In these sections, we show how to repliacte the MaxSAT competition using OptiLog.

The MaxSAT Competition:

• Competition Generation
• Competition Running
• Competition Parsing