Uses of Package
org.ddolib.examples.max2sat

Packages that use org.ddolib.examples.max2sat

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

Classes in org.ddolib.examples.max2sat used by org.ddolib.examples.max2sat

Class	Description
BinaryClause	Class to model a Binary clause of two literals for CNF formula.
Max2SatProblem	Represents a Maximum 2-Satisfiability (MAX2SAT) problem instance.
Max2SatState	Class to contain data for the Max2Sat sate.