Text this: Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives