FLoC 2018

RC2, the ReasonLab MaxSAT solver was awarded two medals at the FLoC 2018 Olympic Games, for winning the two complete categories of the MaxSAT Evaluation.

The medals!

Print/export