Uses of Class
org.ddolib.examples.max2sat.Max2SatProblem

Packages that use Max2SatProblem

Package	Description
org.ddolib.examples.max2sat	This package implements the acs, astar and ddo models for the Maximum 2-Satisfiability Problem (MAX2SAT) Problem.

Uses of Max2SatProblem in org.ddolib.examples.max2sat

Constructors in org.ddolib.examples.max2sat with parameters of type Max2SatProblem

Modifier	Constructor	Description
	Max2SatFastLowerBound(Max2SatProblem problem)	Constructs the fast lower bound for a given MAX2SAT problem instance.
	Max2SatRelax(Max2SatProblem problem)	Constructs a relaxation for the given MAX2SAT problem.
	NaiveMax2SatSolver(Max2SatProblem problem)