{"action":"created","issue":{"url":"https://api.github.com/repos/opencog/link-grammar/issues/417","repository_url":"https://api.github.com/repos/opencog/link-grammar","labels_url":"https://api.github.com/repos/opencog/link-grammar/issues/417/labels{/name}","comments_url":"https://api.github.com/repos/opencog/link-grammar/issues/417/comments","events_url":"https://api.github.com/repos/opencog/link-grammar/issues/417/events","html_url":"https://github.com/opencog/link-grammar/pull/417","id":179059242,"number":417,"title":"MiniSAT 2.2 upgrade","user":{"login":"ampli","id":879514,"avatar_url":"https://avatars.githubusercontent.com/u/879514?v=3","gravatar_id":"","url":"https://api.github.com/users/ampli","html_url":"https://github.com/ampli","followers_url":"https://api.github.com/users/ampli/followers","following_url":"https://api.github.com/users/ampli/following{/other_user}","gists_url":"https://api.github.com/users/ampli/gists{/gist_id}","starred_url":"https://api.github.com/users/ampli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ampli/subscriptions","organizations_url":"https://api.github.com/users/ampli/orgs","repos_url":"https://api.github.com/users/ampli/repos","events_url":"https://api.github.com/users/ampli/events{/privacy}","received_events_url":"https://api.github.com/users/ampli/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-09-25T00:16:26Z","updated_at":"2016-09-26T21:50:05Z","closed_at":"2016-09-26T21:49:56Z","pull_request":{"url":"https://api.github.com/repos/opencog/link-grammar/pulls/417","html_url":"https://github.com/opencog/link-grammar/pull/417","diff_url":"https://github.com/opencog/link-grammar/pull/417.diff","patch_url":"https://github.com/opencog/link-grammar/pull/417.patch"},"body":"Solving issue #415.\r\n\r\nMain changes:\r\n- Upgrade the bundled minisat code to version 2.2 (from the GitHUb of its authors).\r\n- Fixed in it some problem (it is not maintained by its authors).\r\n- Use the system minisat library by default.\r\n- Add an option --enable-sat-solver=bundled .\r\n- Update the README and Changelog.\r\n- Update the RPM spec file to require minisat2-devel .\r\n- Fix a test suite bug regarding pre-sorting of SAT linkages (it fixes a SAT test failure).\r\n\r\nTested on:\r\nFedora 23, with minisat2 version 2.2.0-12.fc23 and also the bundled version.\r\nUbuntu 16.04, with minisat2 version 2.2.1-5 and also the bundled version.\r\nOS X Sierra, with the bundled minisat version only (no minisat library package is available).\r\n\r\nIt is not working on Windows yet (porting is needed)."},"comment":{"url":"https://api.github.com/repos/opencog/link-grammar/issues/comments/249708204","html_url":"https://github.com/opencog/link-grammar/pull/417#issuecomment-249708204","issue_url":"https://api.github.com/repos/opencog/link-grammar/issues/417","id":249708204,"user":{"login":"linas","id":94368,"avatar_url":"https://avatars.githubusercontent.com/u/94368?v=3","gravatar_id":"","url":"https://api.github.com/users/linas","html_url":"https://github.com/linas","followers_url":"https://api.github.com/users/linas/followers","following_url":"https://api.github.com/users/linas/following{/other_user}","gists_url":"https://api.github.com/users/linas/gists{/gist_id}","starred_url":"https://api.github.com/users/linas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/linas/subscriptions","organizations_url":"https://api.github.com/users/linas/orgs","repos_url":"https://api.github.com/users/linas/repos","events_url":"https://api.github.com/users/linas/events{/privacy}","received_events_url":"https://api.github.com/users/linas/received_events","type":"User","site_admin":false},"created_at":"2016-09-26T21:50:05Z","updated_at":"2016-09-26T21:50:05Z","body":"Thanks Amir!"}}
{"actor":{"display_login":"linas"}}