Ограничение Clingo не работает должным образом и игнорируется
У меня есть программа Clingo, оптимизирующая доставку посылок, и есть два ограничения для ограничения веса и объема, которые может доставить автомобиль соответственно, однако эти ограничения не работают.
weightLimit(500).
volumeLimit(1000).
cars(2).
parcel(1,a,1,400).
parcel(2,b,1,400).
parcel(3,c,1,400).
%Constraint volume
:- #sum {V, X, Y, T: assign(X, Y), parcel(X,_,T,_), parcelType(T,V)} > volumeLimit.
%Constraint weight limit
:- #sum {W, X, Y: assign(X, Y), parcel(X,_,_,W)} > weightLimit.
Это должно быть невыполнимо, потому что невозможно доставить все эти посылки всего на двух машинах, поскольку предел веса составляет всего 500, но когда я запускаю его, он просто распределяет посылки, превышающие лимит веса.