SatSolverParams Properties

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

The SatSolverParams type exposes the following members.

  Name Description
Public property Abort Gets or sets a value that specifies whether the solver should stop.
Public property BackTrackCountLimit Gets or sets the number of backtracks that triggers a restart.
Public property Biased Gets or sets a value that specifies whether a value choice is biased in the search.
Public property InitialGuess Gets or sets a value that specifies the direction to try first.
Public property RandSenseProb Gets or sets a sense that is chosen randomly.
Public property RandVarProb Gets or sets a variable that is chosen randomly.
Top
Show: