construct_solving_chain function

Build a reduction chain from a problem to an installed solver.

construct_solving_chain(problem, candidates)

Arguments

• problem: The problem for which to build a chain.
• candidates: A list of candidate solvers.

Returns

A SolvingChain that can be used to solve the problem.