{"action":"created","issue":{"url":"https://api.github.com/repos/dreal/dreal3/issues/234","repository_url":"https://api.github.com/repos/dreal/dreal3","labels_url":"https://api.github.com/repos/dreal/dreal3/issues/234/labels{/name}","comments_url":"https://api.github.com/repos/dreal/dreal3/issues/234/comments","events_url":"https://api.github.com/repos/dreal/dreal3/issues/234/events","html_url":"https://github.com/dreal/dreal3/pull/234","id":147253715,"number":234,"title":"Add additional branching strategies, heuristics","user":{"login":"clhuang","id":1694228,"avatar_url":"https://avatars.githubusercontent.com/u/1694228?v=3","gravatar_id":"","url":"https://api.github.com/users/clhuang","html_url":"https://github.com/clhuang","followers_url":"https://api.github.com/users/clhuang/followers","following_url":"https://api.github.com/users/clhuang/following{/other_user}","gists_url":"https://api.github.com/users/clhuang/gists{/gist_id}","starred_url":"https://api.github.com/users/clhuang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/clhuang/subscriptions","organizations_url":"https://api.github.com/users/clhuang/orgs","repos_url":"https://api.github.com/users/clhuang/repos","events_url":"https://api.github.com/users/clhuang/events{/privacy}","received_events_url":"https://api.github.com/users/clhuang/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-04-10T19:05:13Z","updated_at":"2016-04-11T16:03:55Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dreal/dreal3/pulls/234","html_url":"https://github.com/dreal/dreal3/pull/234","diff_url":"https://github.com/dreal/dreal3/pull/234.diff","patch_url":"https://github.com/dreal/dreal3/pull/234.patch"},"body":"Two new box branching strategies are added:\r\nmultiprune--sort axes by some heuristic, try pruning the boxes of the top N axes, and branch on the axis that results in the smallest volumes after pruning.\r\nmultiheuristic--run solvers with multiple heuristics concurrently, and return when one of them finishes (feasibility info is shared among the different solvers)."},"comment":{"url":"https://api.github.com/repos/dreal/dreal3/issues/comments/208425859","html_url":"https://github.com/dreal/dreal3/pull/234#issuecomment-208425859","issue_url":"https://api.github.com/repos/dreal/dreal3/issues/234","id":208425859,"user":{"login":"soonhokong","id":403281,"avatar_url":"https://avatars.githubusercontent.com/u/403281?v=3","gravatar_id":"","url":"https://api.github.com/users/soonhokong","html_url":"https://github.com/soonhokong","followers_url":"https://api.github.com/users/soonhokong/followers","following_url":"https://api.github.com/users/soonhokong/following{/other_user}","gists_url":"https://api.github.com/users/soonhokong/gists{/gist_id}","starred_url":"https://api.github.com/users/soonhokong/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonhokong/subscriptions","organizations_url":"https://api.github.com/users/soonhokong/orgs","repos_url":"https://api.github.com/users/soonhokong/repos","events_url":"https://api.github.com/users/soonhokong/events{/privacy}","received_events_url":"https://api.github.com/users/soonhokong/received_events","type":"User","site_admin":false},"created_at":"2016-04-11T16:03:55Z","updated_at":"2016-04-11T16:03:55Z","body":"@clhuang, thanks for the contribution. Please check https://github.com/soonhokong/dreal3/commits/cl-pr and let me know whether you're happy with it. When you confirm it, I'll process this PR.\r\n\r\n - I squashed the commits into five commits.\r\n - I added two commits to fix a compile problem and style issues.\r\n\r\nIn the future, please try `make style` or `ninja style` which will trigger the style-checker (it's a variation of Google's C++ style checker)."}}