в строке
@constraint(m, [a[i,j]=1], sum(a[i:j][i:j]) == 1)
1) Вы пытаетесь установить переменную, а не проверять равенство, вместо этого используйте
a[i,j] == 1
2) i и j не определены. Без минимального примера выполнения, я бы сказал, согласно предыдущей строке вашего кода, я бы сказал что-то вроде
sum(<what-to-sum-here> for i=1:3, j=1:3)
или l oop в списке индексов, который вы хотите использовать, если не правильный.