Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives (JAIR, 2026)