Authors propose a neurosymbolic routing approach for reliable reasoning on resource-constrained edge devices. Their method classifies queries and dispatches them to the cheapest correct solver, leveraging a deterministic finite automaton learned with the L* grammatical inference algorithm. This approach achieved 100% routing accuracy and 98.3% overall accuracy on a Raspberry Pi 4B, outperforming existing agent baselines and demonstrating significant speed and energy efficiency gains.