{"action":"created","issue":{"url":"https://api.github.com/repos/aimacode/aima-python/issues/203","repository_url":"https://api.github.com/repos/aimacode/aima-python","labels_url":"https://api.github.com/repos/aimacode/aima-python/issues/203/labels{/name}","comments_url":"https://api.github.com/repos/aimacode/aima-python/issues/203/comments","events_url":"https://api.github.com/repos/aimacode/aima-python/issues/203/events","html_url":"https://github.com/aimacode/aima-python/pull/203","id":147094191,"number":203,"title":"Fix implies operator in SAT_plan","user":{"login":"Chipe1","id":9821389,"avatar_url":"https://avatars.githubusercontent.com/u/9821389?v=3","gravatar_id":"","url":"https://api.github.com/users/Chipe1","html_url":"https://github.com/Chipe1","followers_url":"https://api.github.com/users/Chipe1/followers","following_url":"https://api.github.com/users/Chipe1/following{/other_user}","gists_url":"https://api.github.com/users/Chipe1/gists{/gist_id}","starred_url":"https://api.github.com/users/Chipe1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Chipe1/subscriptions","organizations_url":"https://api.github.com/users/Chipe1/orgs","repos_url":"https://api.github.com/users/Chipe1/repos","events_url":"https://api.github.com/users/Chipe1/events{/privacy}","received_events_url":"https://api.github.com/users/Chipe1/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2016-04-09T05:42:37Z","updated_at":"2016-04-10T09:17:15Z","closed_at":"2016-04-09T10:25:29Z","pull_request":{"url":"https://api.github.com/repos/aimacode/aima-python/pulls/203","html_url":"https://github.com/aimacode/aima-python/pull/203","diff_url":"https://github.com/aimacode/aima-python/pull/203.diff","patch_url":"https://github.com/aimacode/aima-python/pull/203.patch"},"body":"temporary fix for eliminate_implications to make the build pass"},"comment":{"url":"https://api.github.com/repos/aimacode/aima-python/issues/comments/207948904","html_url":"https://github.com/aimacode/aima-python/pull/203#issuecomment-207948904","issue_url":"https://api.github.com/repos/aimacode/aima-python/issues/203","id":207948904,"user":{"login":"Chipe1","id":9821389,"avatar_url":"https://avatars.githubusercontent.com/u/9821389?v=3","gravatar_id":"","url":"https://api.github.com/users/Chipe1","html_url":"https://github.com/Chipe1","followers_url":"https://api.github.com/users/Chipe1/followers","following_url":"https://api.github.com/users/Chipe1/following{/other_user}","gists_url":"https://api.github.com/users/Chipe1/gists{/gist_id}","starred_url":"https://api.github.com/users/Chipe1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Chipe1/subscriptions","organizations_url":"https://api.github.com/users/Chipe1/orgs","repos_url":"https://api.github.com/users/Chipe1/repos","events_url":"https://api.github.com/users/Chipe1/events{/privacy}","received_events_url":"https://api.github.com/users/Chipe1/received_events","type":"User","site_admin":false},"created_at":"2016-04-10T09:17:14Z","updated_at":"2016-04-10T09:17:14Z","body":"The implementation would only take one line as we already have `InfixOp` class. Instead of using pre-created instances of it(eg. `implies`, `rimplies`, `equiv`) we would create the objects directly from their strings."}}