A Brief on Constraint Solving | Synapse