{"action":"created","issue":{"url":"https://api.github.com/repos/wkschwartz/pigosat/issues/12","repository_url":"https://api.github.com/repos/wkschwartz/pigosat","labels_url":"https://api.github.com/repos/wkschwartz/pigosat/issues/12/labels{/name}","comments_url":"https://api.github.com/repos/wkschwartz/pigosat/issues/12/comments","events_url":"https://api.github.com/repos/wkschwartz/pigosat/issues/12/events","html_url":"https://github.com/wkschwartz/pigosat/pull/12","id":58488961,"number":12,"title":"Added Assume() + companion methods","user":{"login":"justinfx","id":282566,"avatar_url":"https://avatars.githubusercontent.com/u/282566?v=3","gravatar_id":"","url":"https://api.github.com/users/justinfx","html_url":"https://github.com/justinfx","followers_url":"https://api.github.com/users/justinfx/followers","following_url":"https://api.github.com/users/justinfx/following{/other_user}","gists_url":"https://api.github.com/users/justinfx/gists{/gist_id}","starred_url":"https://api.github.com/users/justinfx/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/justinfx/subscriptions","organizations_url":"https://api.github.com/users/justinfx/orgs","repos_url":"https://api.github.com/users/justinfx/repos","events_url":"https://api.github.com/users/justinfx/events{/privacy}","received_events_url":"https://api.github.com/users/justinfx/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2015-02-22T03:49:32Z","updated_at":"2016-08-25T13:17:43Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/wkschwartz/pigosat/pulls/12","html_url":"https://github.com/wkschwartz/pigosat/pull/12","diff_url":"https://github.com/wkschwartz/pigosat/pull/12.diff","patch_url":"https://github.com/wkschwartz/pigosat/pull/12.patch"},"body":"I've added the `Assume()` method, along with the checks for failed assumptions, and the max subsets of satisfiable assumptions. "},"comment":{"url":"https://api.github.com/repos/wkschwartz/pigosat/issues/comments/242382172","html_url":"https://github.com/wkschwartz/pigosat/pull/12#issuecomment-242382172","issue_url":"https://api.github.com/repos/wkschwartz/pigosat/issues/12","id":242382172,"user":{"login":"wkschwartz","id":1417749,"avatar_url":"https://avatars.githubusercontent.com/u/1417749?v=3","gravatar_id":"","url":"https://api.github.com/users/wkschwartz","html_url":"https://github.com/wkschwartz","followers_url":"https://api.github.com/users/wkschwartz/followers","following_url":"https://api.github.com/users/wkschwartz/following{/other_user}","gists_url":"https://api.github.com/users/wkschwartz/gists{/gist_id}","starred_url":"https://api.github.com/users/wkschwartz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wkschwartz/subscriptions","organizations_url":"https://api.github.com/users/wkschwartz/orgs","repos_url":"https://api.github.com/users/wkschwartz/repos","events_url":"https://api.github.com/users/wkschwartz/events{/privacy}","received_events_url":"https://api.github.com/users/wkschwartz/received_events","type":"User","site_admin":false},"created_at":"2016-08-25T13:17:43Z","updated_at":"2016-08-25T13:17:43Z","body":"Yes, I'm sorry for the delay, but it will be merged. Thanks for the\nreminder. I'm swamped at work until mid September but will turn back to\nthis then. Same goes for your other pull request.\n\nThanks for your patience and sorry I've neglected this package all year.\n\nOn Thursday, August 25, 2016, Justin Israel <notifications@github.com>\nwrote:\n\n> Curious if this will ever get merged. I was thinking of open sourcing some\n> old package resolving code, which would be making use of this.\n>\n> —\n> You are receiving this because you commented.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/wkschwartz/pigosat/pull/12#issuecomment-242293524>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/ABWiFa9JCm2ueZgx482wZqarH_UeWPHkks5qjTd0gaJpZM4Dj3Hg>\n> .\n>\n\n\n-- \n-- \nWilliam Schwartz\ncell: 614-578-8007\n"}}
{"actor":{"display_login":"wkschwartz"}}