Complex sentence: Such constraints express allowed values for variables, and a solution is therefore an evaluation of these variable that satisfies all constraints.
Split into simpler sentences: Such constraints express allowed values for variables. A solution is therefore an evaluation of these variables that satisfies all constraints.