[gecode-users] Problem extensional between BoolVars and IntVar
Mohamed Rezgui
kyo.alone at gmail.com
Wed Oct 9 10:52:39 CEST 2013
Dear Sir,
I would like to know how can I use Gecode with extensional between BoolVar
and IntVar
I show you my problem :
I have boolvars : x1 x2
and intvars x3 x4
I have some valid tuples :
0 1 3 4
0 0 6 6
1 1 7 3
How can I use constraint Gecode::extensional to use BoolVar and IntVar
together ?
This is not the case with Gecode 4.2.0
Maybe do I use a clause constraint to express the constraint extensional
for BooVar and the constraint extensional for IntVar ?
--
Best Regards,
Mohamed REZGUI
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20131009/84889cdb/attachment.html>
More information about the users
mailing list