{"action":"created","issue":{"url":"https://api.github.com/repos/google/or-tools/issues/539","repository_url":"https://api.github.com/repos/google/or-tools","labels_url":"https://api.github.com/repos/google/or-tools/issues/539/labels{/name}","comments_url":"https://api.github.com/repos/google/or-tools/issues/539/comments","events_url":"https://api.github.com/repos/google/or-tools/issues/539/events","html_url":"https://github.com/google/or-tools/issues/539","id":279624012,"node_id":"MDU6SXNzdWUyNzk2MjQwMTI=","number":539,"title":"Warm starts from MiniZinc","user":{"login":"glebbelov","id":17307494,"node_id":"MDQ6VXNlcjE3MzA3NDk0","avatar_url":"https://avatars1.githubusercontent.com/u/17307494?v=4","gravatar_id":"","url":"https://api.github.com/users/glebbelov","html_url":"https://github.com/glebbelov","followers_url":"https://api.github.com/users/glebbelov/followers","following_url":"https://api.github.com/users/glebbelov/following{/other_user}","gists_url":"https://api.github.com/users/glebbelov/gists{/gist_id}","starred_url":"https://api.github.com/users/glebbelov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/glebbelov/subscriptions","organizations_url":"https://api.github.com/users/glebbelov/orgs","repos_url":"https://api.github.com/users/glebbelov/repos","events_url":"https://api.github.com/users/glebbelov/events{/privacy}","received_events_url":"https://api.github.com/users/glebbelov/received_events","type":"User","site_admin":false},"labels":[{"id":179258465,"node_id":"MDU6TGFiZWwxNzkyNTg0NjU=","url":"https://api.github.com/repos/google/or-tools/labels/Help%20Needed","name":"Help Needed","color":"ffa000","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-12-06T04:33:28Z","updated_at":"2018-09-07T08:50:03Z","closed_at":null,"author_association":"NONE","body":"Hi,\r\n\r\nwarm start annotations are being added in MiniZinc. I wonder if your flatzinc CP solver can support them and if you wish to extend the annotations. To be used, e.g., in the sunny-cp framework or in iterative approaches. For details, see README_MIP.txt on the develop branch, currently supported only for Gurobi and CPLEX backends.\r\n\r\nExample:\r\n\r\n```\r\narray[1..3] of var 0..10: x;\r\narray[1..3] of var 0.0..10.5: xf;\r\nvar bool: b;\r\narray[1..3] of var set of 5..9: xs;\r\nconstraint b+sum(x)==1;\r\nconstraint b+sum(xf)==2.4;\r\nconstraint 5==sum( [ card(xs[i]) | i in index_set(xs) ] );\r\nsolve\r\n  :: warm_start( [b], [<>] )                         %%% Use <> for missing values\r\n  :: warm_start_array( [\r\n       warm_start( x, [<>,8,4] ),\r\n       warm_start( xf, array1d(-5..-3, [5.6,<>,4.7] ) ),\r\n       warm_start( xs, array1d( -3..-2, [ 6..8, 5..7 ] ) )\r\n     ] )\r\n  :: seq_search( [ int_search(x, first_fail, indomain_min, complete)  ] )\r\n  minimize x[1] + b + xf[2] + card( xs[1] intersect xs[3] );\r\n\r\n```\r\n"},"comment":{"url":"https://api.github.com/repos/google/or-tools/issues/comments/419369959","html_url":"https://github.com/google/or-tools/issues/539#issuecomment-419369959","issue_url":"https://api.github.com/repos/google/or-tools/issues/539","id":419369959,"node_id":"MDEyOklzc3VlQ29tbWVudDQxOTM2OTk1OQ==","user":{"login":"lperron","id":11073005,"node_id":"MDQ6VXNlcjExMDczMDA1","avatar_url":"https://avatars1.githubusercontent.com/u/11073005?v=4","gravatar_id":"","url":"https://api.github.com/users/lperron","html_url":"https://github.com/lperron","followers_url":"https://api.github.com/users/lperron/followers","following_url":"https://api.github.com/users/lperron/following{/other_user}","gists_url":"https://api.github.com/users/lperron/gists{/gist_id}","starred_url":"https://api.github.com/users/lperron/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lperron/subscriptions","organizations_url":"https://api.github.com/users/lperron/orgs","repos_url":"https://api.github.com/users/lperron/repos","events_url":"https://api.github.com/users/lperron/events{/privacy}","received_events_url":"https://api.github.com/users/lperron/received_events","type":"User","site_admin":false},"created_at":"2018-09-07T08:50:03Z","updated_at":"2018-09-07T08:50:03Z","author_association":"COLLABORATOR","body":"I tried to compile the example.\r\nIt crashes with minizinc 2.2.1 :-("}}
{"actor":{"display_login":"lperron"}}