GitHub repository: maxsat-evaluations/maxsat-evaluations.github.io
Primary language: HTML
Description: Website for MaxSAT Evaluations