{"action":"created","issue":{"url":"https://api.github.com/repos/aimacode/aima-python/issues/146","repository_url":"https://api.github.com/repos/aimacode/aima-python","labels_url":"https://api.github.com/repos/aimacode/aima-python/issues/146/labels{/name}","comments_url":"https://api.github.com/repos/aimacode/aima-python/issues/146/comments","events_url":"https://api.github.com/repos/aimacode/aima-python/issues/146/events","html_url":"https://github.com/aimacode/aima-python/issues/146","id":141345802,"number":146,"title":"to_cnf() failed test","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":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-03-16T17:30:51Z","updated_at":"2016-03-18T08:53:41Z","closed_at":null,"body":"Test case for to_cnf() in logic.py gives an error.\r\nRunning `to_cnf(Fig[7, 13] & ~expr('~P12'))` causes AttributeError.\r\nThe above test case was included in logic.py"},"comment":{"url":"https://api.github.com/repos/aimacode/aima-python/issues/comments/198261946","html_url":"https://github.com/aimacode/aima-python/issues/146#issuecomment-198261946","issue_url":"https://api.github.com/repos/aimacode/aima-python/issues/146","id":198261946,"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-03-18T08:53:41Z","updated_at":"2016-03-18T08:53:41Z","body":"#152 should fix this"}}