added constraint vector with tests