Module options

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

• CumulativeOptions
• LearningOptions
  Options which determine how the learned clauses are handled within the Solver. These options influence when the learned clause database removed clauses.
• RestartOptions
  The options which are used by the solver to determine when a restart should occur.
• SolverOptions
  Options for the Solver which determine how it behaves.

Enums

• CumulativeExplanationType
  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].
• CumulativePropagationMethod
• LearnedClauseSortingStrategy
  The sorting strategy which is used when considering removal from the clause database.
• SequenceGeneratorType
  Specifies the type of sequence which is used to generate conflict limits before a restart occurs.