precompiled windows binary fails assertion

[rtaupe]

Hi,

since I´m not able to compile chuffed on Windows (see #9), I´m trying to use the precompiled binary provided in this repository.
However, on the OOCSP instance oocsp_racks_030_e6_cc of this year´s MiniZinc Challenge, I get the following output:

./core/propagator.h:66: virtual Clause* Propagator::explain(Lit, int): Assertion failed.
0 [sig] fzn_chuffed 8740 open_stackdumpfile: Dumping stack trace to fzn_chuffed.exe.stackdump

The stackdump is attached to this issue (unfortunately it is not very meaningful).

Hope you can help.

Thanks,
Richard