Fix the initialisation of Rnd in FlatZinc

[Dekker1]

This commit fixes the passing of the rnd value from main and initialises the default random number generator.

This PR is made after some issues of an un-initialised random number generator while developing an fzn-gecode extension

[chschulte]

The fix itself looks good, however we would also need an entry into the file changelog.in.

Cheers Christian

[Dekker1]

@chschulte, sorry for the oversight. I've added a change log entry.

I did come across an issue with the changelog.in file. Even though it seems to be UTF-8 encoded, all my editors (CLion, VSCode, and Atom) seem to have problems reading some non-ASCII characters. I had to use git add --patch to not change the rest of the file.

[chschulte]

Yep, it is in fact ISO-LATIN. Don't want to touch it, as I do not knows what will happen with the Windows build toolchain.

[guidotack]

There was a weird character in the 6.0.0 release date, I just changed it in develop (I don't think we need to push this to master). Cheers, Guido

…

On Fri, Mar 9, 2018 at 3:39 AM, Christian Schulte ***@***.***> wrote: Yep, it is in fact ISO-LATIN. Don't want to touch it, as I do not knows what will happen with the Windows build toolchain. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#2 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AJ7eTEAlE4MAuTocutdnhrGQQ_gw3QMNks5tcV7BgaJpZM4SUN-h> .

-- *GUIDO TACK* Senior Lecturer *Information Technology* Monash University Level 6, Room 6.40, Building H, Caulfield Campus 900 Dandenong Road Caulfield East VIC 3145 Australia T: +61 3 9903 1214 E: guido.tack@monash.edu http://users.monash.edu/~guidot/