ByNobleID
    Towards Solving Many-Valued MaxSAT | NobleID