savi.alg.maxsat3
Classes 
StateMaxSAT3
ViewMaxSAT3