|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.tools.encoding | |
|---|---|
| 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 | |
|---|---|
| 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 | |
|---|---|
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||