glucose-syrup doesn't save the solution into the out-file

[danvoicu1]

Hi there,
I recently tried glucose.exe and glucose-syrup.exe on very small cnf instances as well as on some larger ones. While glucose.exe saves the results in the specified out-file, glucose-syrup.exe does not.

I am sure this is a known issue already (in which case I apologize for the dupe), but anyway, just in case it isn't already there.

Regards,
Dan