SatSolver.Solve Method

Solver Foundation 3.0

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

Determines which Boolean value to try first.

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

public static IEnumerable<SatSolution> Solve(
	SatSolverParams prm,
	int varLim,
	IEnumerable<Literal[]> rgcl
)

Parameters

prm
Type: Microsoft.SolverFoundation.Solvers.SatSolverParams
A set of solver parameters.
varLim
Type: System.Int32
The limit variable.
rgcl
Type: System.Collections.Generic.IEnumerable<Literal[]>
A collection of literals.

Return Value

Type: System.Collections.Generic.IEnumerable<SatSolution>
A collection of solutions.

Show: