construct_solving_chain: Build a reduction chain from a problem to an installed solver.
Description
Build a reduction chain from a problem to an installed solver.
Usage
construct_solving_chain(problem, candidates)
Value
A SolvingChain that can be used to solve the problem.
Arguments
- problem
The problem for which to build a chain.
- candidates
A list of candidate solvers.