{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/java-smt/issues/66","repository_url":"https://api.github.com/repos/sosy-lab/java-smt","labels_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/66/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/66/comments","events_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/66/events","html_url":"https://github.com/sosy-lab/java-smt/issues/66","id":165335105,"number":66,"title":"Add Ackermannization tactic","user":{"login":"ottseb","id":16150779,"avatar_url":"https://avatars.githubusercontent.com/u/16150779?v=3","gravatar_id":"","url":"https://api.github.com/users/ottseb","html_url":"https://github.com/ottseb","followers_url":"https://api.github.com/users/ottseb/followers","following_url":"https://api.github.com/users/ottseb/following{/other_user}","gists_url":"https://api.github.com/users/ottseb/gists{/gist_id}","starred_url":"https://api.github.com/users/ottseb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ottseb/subscriptions","organizations_url":"https://api.github.com/users/ottseb/orgs","repos_url":"https://api.github.com/users/ottseb/repos","events_url":"https://api.github.com/users/ottseb/events{/privacy}","received_events_url":"https://api.github.com/users/ottseb/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-07-13T14:28:49Z","updated_at":"2016-08-08T13:32:34Z","closed_at":null,"body":"Ackermannization replaces UFs by fresh variables and adds constraints to enforce the functional consistency.\r\n\r\nThere should be a generic implementation for all solvers that does not have build in support. It would be useful if it is accessible as utility method that provides the substitution done during the transformation."},"comment":{"url":"https://api.github.com/repos/sosy-lab/java-smt/issues/comments/238236970","html_url":"https://github.com/sosy-lab/java-smt/issues/66#issuecomment-238236970","issue_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/66","id":238236970,"user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"created_at":"2016-08-08T13:32:34Z","updated_at":"2016-08-08T13:32:34Z","body":"@ottseb I assume this can be closed?"}}
{"actor":{"display_login":"cheshire"}}