News
UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback