savi.alg.weighsat3
Classes 
StateWSAT3
ViewWeightedSAT3
WeightedFormula