Uses of Package
org.sat4j.tools.encoding

Packages that use org.sat4j.tools.encoding

Package	Description
org.sat4j.pb.tools
org.sat4j.tools
org.sat4j.tools.encoding

Classes in org.sat4j.tools.encoding used by org.sat4j.pb.tools

Class and Description
EncodingStrategyAdapter The aim of this class is to use different encodings for specific constraints.

Classes in org.sat4j.tools.encoding used by org.sat4j.tools

Class and Description
EncodingStrategyAdapter The aim of this class is to use different encodings for specific constraints.

Classes in org.sat4j.tools.encoding used by org.sat4j.tools.encoding

Class and Description
EncodingStrategy This Enum describes the different encodings that can be used for the "at most one", "at most k", "exactly one", "exactly k" constraints.
EncodingStrategyAdapter The aim of this class is to use different encodings for specific constraints.