Use Cases

Here we show a set of use-cases that use the OptiLog Python library.

• The Slitherlink Problem
• MaxSAT Competitions
• SAT Competitions