R/reduction_solvers.R
construct_solving_chain.RdBuild a reduction chain from a problem to an installed solver.
construct_solving_chain(problem, candidates)The problem for which to build a chain.
A list of candidate solvers.
A SolvingChain that can be used to solve the problem.