savi.alg.maxsat3
Classes
StateMaxSAT3
ViewMaxSAT3