model "SeqDepScheduling"
	uses "mmxprs"
	
	parameters
		NUMCAR= 6
	end-parameters

	declarations
		CAR= 1..NUMCAR
		
		c: array(CAR,CAR) of real
		
		x: array(CAR,CAR) of mpvar
		u: array(CAR) of mpvar
	end-declarations
	
	c:= [100,8,7,10,7,10,
	     8,100,10,7,10,7,
	     7,10,100,8,7,10,
	     10,7,8,100,10,7,
	     7,10,7,10,100,8,
	     10,7,10,7,8,100]
	
	OBJECTIVE:= sum(i in CAR, j in CAR) c(i,j)*x(i,j)
	
	forall(j in CAR) sum(i in CAR) x(i,j) = 1
	
	forall(i in CAR) sum(j in CAR) x(i,j) = 1
	
	forall(i in CAR, j in CAR | i >= 2 and j >= 2 and i <> j) u(i) - u(j) + NUMCAR*x(i,j) <= NUMCAR - 1
	
	forall(i in CAR, j in CAR) x(i,j) is_binary
	
	minimise(OBJECTIVE)
	
	writeln("Total processing time is ", getobjval, ".")
	
end-model