Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition