|
|
|
|
|
|
|
|
|
|
|
|
|
| |
DiversityDescriptor
* Describes the required diversity between the solutions.
* Null means that the solutions have to have different state codes
only.
InternalConsistencyCheckerConfiguration
* A logic solver that able to check the consistency of an intermediate
solution.
* Null means that no solver is called.
DebugConfiguration
* Configuration for debugging support.
SearchSpaceConstraint
* Configuration for cutting search space.
|