Added documentation TODO to constraint solving