{"action":"created","issue":{"url":"https://api.github.com/repos/adl/hoaf/issues/53","labels_url":"https://api.github.com/repos/adl/hoaf/issues/53/labels{/name}","comments_url":"https://api.github.com/repos/adl/hoaf/issues/53/comments","events_url":"https://api.github.com/repos/adl/hoaf/issues/53/events","html_url":"https://github.com/adl/hoaf/issues/53","id":109209506,"number":53,"title":"Support for non-AP alphabets","user":{"login":"Heizmann","id":1221834,"avatar_url":"https://avatars.githubusercontent.com/u/1221834?v=3","gravatar_id":"","url":"https://api.github.com/users/Heizmann","html_url":"https://github.com/Heizmann","followers_url":"https://api.github.com/users/Heizmann/followers","following_url":"https://api.github.com/users/Heizmann/following{/other_user}","gists_url":"https://api.github.com/users/Heizmann/gists{/gist_id}","starred_url":"https://api.github.com/users/Heizmann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Heizmann/subscriptions","organizations_url":"https://api.github.com/users/Heizmann/orgs","repos_url":"https://api.github.com/users/Heizmann/repos","events_url":"https://api.github.com/users/Heizmann/events{/privacy}","received_events_url":"https://api.github.com/users/Heizmann/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-10-01T01:00:14Z","updated_at":"2015-10-01T07:56:46Z","closed_at":null,"body":"In most cases I use automata whose alphabet is not the powerset of some set. \r\nHence in HOA my transitions look like ``[0 & !1 & !2 & !3 & ...]``\r\n\r\nJan Strejcek already explained me that I can use aliases for large formulas. This already reduces the file size drastically but basically *only* shifts the problem from the body to the header.\r\n\r\nMy main application is an [automata-based approach to software verification](http://ultimate.informatik.uni-freiburg.de/automizer/). Without optimizations we have there one letter in the alphabet for each statement in the program that we want to verify. Even with optimizations, we often have hundreds of letters in our alphabet."},"comment":{"url":"https://api.github.com/repos/adl/hoaf/issues/comments/144648540","html_url":"https://github.com/adl/hoaf/issues/53#issuecomment-144648540","issue_url":"https://api.github.com/repos/adl/hoaf/issues/53","id":144648540,"user":{"login":"kleinj","id":7789974,"avatar_url":"https://avatars.githubusercontent.com/u/7789974?v=3","gravatar_id":"","url":"https://api.github.com/users/kleinj","html_url":"https://github.com/kleinj","followers_url":"https://api.github.com/users/kleinj/followers","following_url":"https://api.github.com/users/kleinj/following{/other_user}","gists_url":"https://api.github.com/users/kleinj/gists{/gist_id}","starred_url":"https://api.github.com/users/kleinj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kleinj/subscriptions","organizations_url":"https://api.github.com/users/kleinj/orgs","repos_url":"https://api.github.com/users/kleinj/repos","events_url":"https://api.github.com/users/kleinj/events{/privacy}","received_events_url":"https://api.github.com/users/kleinj/received_events","type":"User","site_admin":false},"created_at":"2015-10-01T07:56:46Z","updated_at":"2015-10-01T07:56:46Z","body":"I opened issue #54 for a technical discussion of adding such a \r\n`Alphabet` header."}}