Package savi.alg.maxsat3

Class Summary
StateMaxSAT3 State representing MAX-3-SAT problem.
ViewMaxSAT3 Visualization panel for Max-3-SAT problem.