C
constraint solving