A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction