Describe constraint solving process