Uses of Package
org.sat4j.tools.encoding

Packages that use org.sat4j.tools.encoding

Package	Description
org.sat4j.tools	Tools to be used on top of an ISolver.
org.sat4j.tools.encoding	Implementation of different encodings.

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.