Package org.sat4j.tools.encoding

Implementation of different encodings.

See: Description

Class Summary

Class	Description
Binary	Binary encoding for the "at most one" and "at most k" cases.
Binomial	Binomial encoding for the "at most one" and "at most k" cases.
Commander	Commander encoding for "at most one" and "at most k" cases.
EncodingStrategyAdapter	The aim of this class is to use different encodings for specific constraints.
Ladder	Ladder encoding for the "at most one" and "exactly one" cases.
Policy	This class allows the use of different encodings for different cardinality constraints.
Product	Implementation of product encoding for at most one and at most k constraints.
Sequential	Implementation of the sequential encoding for the at most k constraint.

Enum Summary

Enum	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.

Package org.sat4j.tools.encoding Description

Implementation of different encodings.