Streamlining Variational Inference for Constraint Satisfaction Problems