Uses of Package
org.sat4j.tools.encoding

Packages that use org.sat4j.tools.encoding

org.sat4j.tools	Tools to be used on top of an ISolver.
org.sat4j.tools.encoding

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

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

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