[gecode-users] question about mult propagator

[Rafael Meneses]

On 9/12/06, Alejandro Arbelaez <a_le_jo55 at yahoo.com> wrote:
> Hi all,

Hi,

>
> I don't understand why the following program fails,

Me too...

>
> I only want to create a propagator for
> a*b=:tmp, where a=:316 and b=:120
> so after the propagation (status) tmp is going to be equal to 37920, and
> that is the value that tmp shows in the last line of the program, but the
> status of  A is failed ????
>

I test the code, the status of A was solved ;)

The output was:

OK
A: 316 B: 120 tmp: 37920

My enviroment is:
- gecode-1.2.2
- g++-4.1
- Debian sid


update your gecode ???


Saludos,


-- 
Rafael Meneses
http://www.zeke.cl
http://www.labsd.inf.utfsm.cl/~rmeneses