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

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.

Value

A SolvingChain that can be used to solve the problem.