Hello all,
I am trying to write something in Gecode, which could
be a propagator, with this semantic:

when <boolean_var1, boolean_var2, ... boolean_varn> do <something with those
who are assigned to true>

I know, it seems difficult. But, any ideas are welcome.
It will be used to implement an interpreter for a probabilistic CCP
calculus.

Thanks !

Mauricio

-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 à 2009
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to