Package savi.alg.weighsat3

Class Summary
StateWSAT3 State for MAX-WEIGHTED-3-SAT problem.
ViewWeightedSAT3 Visualization panel for MAX-WEIGHTED-3-SAT problem.
WeightedFormula Class representing boolean formula with weights.