Expand description
Contains the options which can be passed to the [Solver].
These influence the following aspects:
- The restart strategy of the solver
- The learned clause database management approach
- The proof logging
Structs§
- Cumulative
Options - Learning
Options - Options related to nogood management, i.e., how and when to remove learned nogoods from the database.
- Restart
Options - The options which are used by the solver to determine when a restart should occur.
- Solver
Options - Options for the [
Solver] which determine how it behaves.
Enums§
- Conflict
Resolver - During search, the CP solver will inevitably evaluate partial assignments that violate at least one constraint. When this happens, conflict resolution is applied to restore the solver to a state from which it can continue the search.
- Cumulative
Explanation Type - Determines what type of explanation is used for the cumulative constraint based on the explanations described in Section 4.5.1 and 4.5.2 of [1].
- Cumulative
Propagation Method - Sequence
Generator Type - Specifies the type of sequence which is used to generate conflict limits before a restart occurs.