{"action":"created","issue":{"url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/22","labels_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/22/labels{/name}","comments_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/22/comments","events_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/22/events","html_url":"https://github.com/MiniZinc/libminizinc/issues/22","id":82353129,"number":22,"title":"minizinc-2.0: 2 or 4 solutions?","user":{"login":"matsc-at-sics-se","id":10919290,"avatar_url":"https://avatars.githubusercontent.com/u/10919290?v=3","gravatar_id":"","url":"https://api.github.com/users/matsc-at-sics-se","html_url":"https://github.com/matsc-at-sics-se","followers_url":"https://api.github.com/users/matsc-at-sics-se/followers","following_url":"https://api.github.com/users/matsc-at-sics-se/following{/other_user}","gists_url":"https://api.github.com/users/matsc-at-sics-se/gists{/gist_id}","starred_url":"https://api.github.com/users/matsc-at-sics-se/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/matsc-at-sics-se/subscriptions","organizations_url":"https://api.github.com/users/matsc-at-sics-se/orgs","repos_url":"https://api.github.com/users/matsc-at-sics-se/repos","events_url":"https://api.github.com/users/matsc-at-sics-se/events{/privacy}","received_events_url":"https://api.github.com/users/matsc-at-sics-se/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-05-29T09:35:30Z","updated_at":"2015-06-24T23:20:30Z","closed_at":null,"body":"model:\r\n```\r\ninclude \"globals.mzn\";\r\n\r\nvar set of 1..2: x;\r\narray[1..2] of var bool: y;\r\n\r\nconstraint\r\n  x = {1} /\\\r\n  forall(i in x)(y[i]);\r\n\r\nsolve satisfy;\r\n\r\noutput [\r\n  \"x = \", show(x), \"\\n\",\r\n  \"y = \", show(y), \"\\n\",\r\n  ];\r\n```\r\nrun:\r\n```\r\nsolovej>minizinc -a bug.mzn\r\nx = 1..1\r\ny = [true, false]\r\n----------\r\nx = 1..1\r\ny = [true, false]\r\n----------\r\nx = 1..1\r\ny = [true, true]\r\n----------\r\nx = 1..1\r\ny = [true, true]\r\n----------\r\n==========\r\nsolovej>mzn-gecode -a bug.mzn\r\nx = 1..1\r\ny = [true, false]\r\n----------\r\nx = 1..1\r\ny = [true, true]\r\n----------\r\n==========\r\n```\r\nWhy are there multiple copies of solutions in the first query?"},"comment":{"url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/comments/115043757","html_url":"https://github.com/MiniZinc/libminizinc/issues/22#issuecomment-115043757","issue_url":"https://api.github.com/repos/MiniZinc/libminizinc/issues/22","id":115043757,"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-06-24T23:20:30Z","updated_at":"2015-06-24T23:20:30Z","body":"The compiler generates a few auxiliary variables for this model, and the solvers still need to search over those variables. Gecode uses a special search that avoids enumerating solutions that only differ in auxiliary variables, but other solvers (such as G12fd) don't perform that kind of optimisation."}}