{"action":"created","issue":{"url":"https://api.github.com/repos/cjdrake/pyeda/issues/120","labels_url":"https://api.github.com/repos/cjdrake/pyeda/issues/120/labels{/name}","comments_url":"https://api.github.com/repos/cjdrake/pyeda/issues/120/comments","events_url":"https://api.github.com/repos/cjdrake/pyeda/issues/120/events","html_url":"https://github.com/cjdrake/pyeda/issues/120","id":80240220,"number":120,"title":"Segmentation fault in _orand_simplify","user":{"login":"lorek123","id":1567272,"avatar_url":"https://avatars.githubusercontent.com/u/1567272?v=3","gravatar_id":"","url":"https://api.github.com/users/lorek123","html_url":"https://github.com/lorek123","followers_url":"https://api.github.com/users/lorek123/followers","following_url":"https://api.github.com/users/lorek123/following{/other_user}","gists_url":"https://api.github.com/users/lorek123/gists{/gist_id}","starred_url":"https://api.github.com/users/lorek123/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lorek123/subscriptions","organizations_url":"https://api.github.com/users/lorek123/orgs","repos_url":"https://api.github.com/users/lorek123/repos","events_url":"https://api.github.com/users/lorek123/events{/privacy}","received_events_url":"https://api.github.com/users/lorek123/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/cjdrake/pyeda/labels/Bug","name":"Bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-05-24T19:01:22Z","updated_at":"2015-05-26T08:04:25Z","closed_at":null,"body":"I'm trying to extend the capability of sudoku solver to solve bigger puzzles. Unfortunately when i tried to create SudokuSolver for n=5 i'm getting:\r\n\r\n>>> from solver import SudokuSolver\r\n>>> a = SudokuSolver(5)\r\n\r\nProgram received signal SIGSEGV, Segmentation fault.\r\n0x00007ffff52f4b93 in _orand_simplify (op=0x5146220)\r\n    at extension/boolexpr/simple.c:142\r\n142\t            uniq[uniq_len++] = flat[i];\r\n\r\nCould anyone help me with this bug? Here is the code https://gist.github.com/chaosk/d94a9855c727e830847a#file-solver-py"},"comment":{"url":"https://api.github.com/repos/cjdrake/pyeda/issues/comments/105434926","html_url":"https://github.com/cjdrake/pyeda/issues/120#issuecomment-105434926","issue_url":"https://api.github.com/repos/cjdrake/pyeda/issues/120","id":105434926,"user":{"login":"cjdrake","id":1093960,"avatar_url":"https://avatars.githubusercontent.com/u/1093960?v=3","gravatar_id":"","url":"https://api.github.com/users/cjdrake","html_url":"https://github.com/cjdrake","followers_url":"https://api.github.com/users/cjdrake/followers","following_url":"https://api.github.com/users/cjdrake/following{/other_user}","gists_url":"https://api.github.com/users/cjdrake/gists{/gist_id}","starred_url":"https://api.github.com/users/cjdrake/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cjdrake/subscriptions","organizations_url":"https://api.github.com/users/cjdrake/orgs","repos_url":"https://api.github.com/users/cjdrake/repos","events_url":"https://api.github.com/users/cjdrake/events{/privacy}","received_events_url":"https://api.github.com/users/cjdrake/received_events","type":"User","site_admin":false},"created_at":"2015-05-26T08:04:24Z","updated_at":"2015-05-26T08:04:24Z","body":"You are constructing a very large expression here with N=5. I suspect the bug might be related to how in OR/AND simplification, two arrays are being allocated on the stack. I changed the `flat` and `uniq` array allocation to the heap, and N=5 didn't fail anymore."}}