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)
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.