SAT Competitions

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

The SAT Competition:

• Competition Generation
• Competition Running
• Competition Parsing