{"action":"created","issue":{"url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/40","labels_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/40/labels{/name}","comments_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/40/comments","events_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/40/events","html_url":"https://github.com/MiniZinc/libminizinc/issues/40","id":101480189,"number":40,"title":"Bug in the Linux version of MiniZinc 2.0.6","user":{"login":"shaniaki","id":3019252,"avatar_url":"https://avatars.githubusercontent.com/u/3019252?v=3","gravatar_id":"","url":"https://api.github.com/users/shaniaki","html_url":"https://github.com/shaniaki","followers_url":"https://api.github.com/users/shaniaki/followers","following_url":"https://api.github.com/users/shaniaki/following{/other_user}","gists_url":"https://api.github.com/users/shaniaki/gists{/gist_id}","starred_url":"https://api.github.com/users/shaniaki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shaniaki/subscriptions","organizations_url":"https://api.github.com/users/shaniaki/orgs","repos_url":"https://api.github.com/users/shaniaki/repos","events_url":"https://api.github.com/users/shaniaki/events{/privacy}","received_events_url":"https://api.github.com/users/shaniaki/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-08-17T18:21:11Z","updated_at":"2015-09-01T20:50:22Z","closed_at":null,"body":"I have downloaded the MiniZinc IDE 0.9.9/2.0.6 bundle for a Mac and a Linux machine. The following model is solved correctly on the Mac OS version but not on the Linux one:\r\n```Matlab\r\nset of int: range = 1..4;\r\n\r\narray [range] of var bool: run;\r\narray [range] of var int: acc;\r\n\r\nconstraint not(run[1]) /\\ run[2] /\\ not(run[3]) /\\ run[4];\r\n\r\nfunction array [range] of var int: conf(\r\n        array [range] of var bool: run\r\n    ) = let {\r\n        array [range] of var int: acc;\r\n        constraint acc[1] = bool2int(run[1]);\r\n        constraint forall (i in 2..4) (\r\n            (acc[i] = acc[i-1] + bool2int(run[i]))\r\n        )\r\n    } in acc\r\n;\r\n\r\nconstraint let {\r\n    int: period = 2;\r\n    array[range] of var int: acc1 = conf(run);\r\n  } in\r\n    forall (i in range) (\r\n      acc[i] = (acc1[i]) div period\r\n    );\r\n\r\nsolve satisfy;\r\n\r\noutput [\"acc: \\(acc)\\n\"];\r\n```\r\nIn Linux, for the Gecode solver it simply says unsatisfiable while the g12 solver reports model inconsistency.\r\nHowever, when I copy the `.fzn` file produced on the Mac machine to the Linux machine, it runs correctly with `fzn-gecode`.\r\n"},"comment":{"url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/comments/136856986","html_url":"https://github.com/MiniZinc/libminizinc/issues/40#issuecomment-136856986","issue_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/40","id":136856986,"user":{"login":"guidotack","id":10411596,"avatar_url":"https://avatars.githubusercontent.com/u/10411596?v=3","gravatar_id":"","url":"https://api.github.com/users/guidotack","html_url":"https://github.com/guidotack","followers_url":"https://api.github.com/users/guidotack/followers","following_url":"https://api.github.com/users/guidotack/following{/other_user}","gists_url":"https://api.github.com/users/guidotack/gists{/gist_id}","starred_url":"https://api.github.com/users/guidotack/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/guidotack/subscriptions","organizations_url":"https://api.github.com/users/guidotack/orgs","repos_url":"https://api.github.com/users/guidotack/repos","events_url":"https://api.github.com/users/guidotack/events{/privacy}","received_events_url":"https://api.github.com/users/guidotack/received_events","type":"User","site_admin":false},"created_at":"2015-09-01T20:50:22Z","updated_at":"2015-09-01T20:50:22Z","body":"Thank you for the bug report.  This is now fixed in the git repository (the fix will be part of the next release)."}}