Package | Description |
---|---|
org.sat4j.pb.tools | |
org.sat4j.tools | |
org.sat4j.tools.encoding |
Class and Description |
---|
EncodingStrategyAdapter
The aim of this class is to use different encodings for specific constraints.
|
Class and Description |
---|
EncodingStrategyAdapter
The aim of this class is to use different encodings for specific constraints.
|
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.
|