[gecode-users] how to convert a choco constraint to gecode constraint

Christian Schulte cschulte at kth.se
Thu Jul 4 10:22:07 CEST 2013


Please do not post to users-request at ... only to users at ...

 

Christian

 

--

Christian Schulte, Professor of Computer Science, KTH,
www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of manel askri
Sent: Thursday, July 04, 2013 12:00 AM
To: users at gecode.org; users-request at gecode.org
Subject: [gecode-users] how to convert a choco constraint to gecode
constraint

 

hi !

 

i have to convert a constraint which was written with choco solvor , choco
works with java , so i have this line code which didn't undrestand how to
code it with gecode 

 

the code line is : 

 

sumConstraints.add(Choco.eq(somme, Choco.sum(rowArray)));

 

sumConstraints: is an array list of Constaints 

somme :is an IntegerVariable 

rowArray : is IntVarArgs

 

i did read the MPG but i didnt find some thing like that 

 

could any one help me please 

 

thanks very much 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130704/950a39c4/attachment.html>


More information about the users mailing list