Package org.sat4j.pb.core

Implementations of pseudo boolean solvers

See: Description

Interface Summary

Interface	Description
IPBCDCLSolver<D extends PBDataStructureFactory>	Abstraction for Conflict Driven Clause Learning PBSolver.
PBDataStructureFactory

Class Summary

Class	Description
ObjectiveReducerPBSolverDecorator
PBSolver
PBSolverCautious
PBSolverClause
PBSolverCP
PBSolverResCP
PBSolverResolution
PBSolverStats
PBSolverWithImpliedClause

Package org.sat4j.pb.core Description

Implementations of pseudo boolean solvers