Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation
Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation 2022 (https://maxsat-evaluations.github.io/2022/) with their noSAT-MaxSAT solver.
