ByNobleID
    Max-SAT formalisms with hard and soft constraints | NobleID