/*

  Eq 10 in SICStus Prolog.

  Standard benchmark problem.

  Compare with the following models:
  * MiniZinc: http://www.hakank.org/minizinc/eq10.mzn
  * ECLiPSe : http://www.hakank.org/eclipse/eq10.ecl



  Model created by Hakan Kjellerstrand, hakank@bonetmail.com
  See also my SICStus Prolog page: http://www.hakank.org/sicstus/

*/

:-use_module(library(clpfd)).
:-use_module(library(lists)).

go :-

        LD = [X1,X2,X3,X4,X5,X6,X7],
        domain(LD,0,10),

	   0+98527*X1+34588*X2+5872*X3+59422*X5+65159*X7 
	#= 1547604+30704*X4+29649*X6 ,

	   0+98957*X2+83634*X3+69966*X4+62038*X5+37164*X6+85413*X7 
	#= 1823553+93989*X1 ,

	   900032+10949*X1+77761*X2+67052*X5 
	#= 0+80197*X3+61944*X4+92964*X6+44550*X7 ,

	   0+73947*X1+84391*X3+81310*X5 
	#= 1164380+96253*X2+44247*X4+70582*X6+33054*X7 ,

	   0+13057*X3+42253*X4+77527*X5+96552*X7 
	#= 1185471+60152*X1+21103*X2+97932*X6 ,

	   1394152+66920*X1+55679*X4 
	#= 0+64234*X2+65337*X3+45581*X5+67707*X6+98038*X7 ,

	   0+68550*X1+27886*X2+31716*X3+73597*X4+38835*X7 
	#= 279091+88963*X5+76391*X6 ,

	   0+76132*X2+71860*X3+22770*X4+68211*X5+78587*X6 
	#= 480923+48224*X1+82817*X7 ,

	   519878+94198*X2+87234*X3+37498*X4 
	#= 0+71583*X1+25728*X5+25495*X6+70023*X7 ,

	   361921+78693*X1+38592*X5+38478*X6 
	#= 0+94129*X2+43188*X3+82528*X4+69025*X7,

        labeling([],LD),
        write(LD),nl.