{"action":"created","issue":{"url":"https://api.github.com/repos/msoos/cryptominisat/issues/336","repository_url":"https://api.github.com/repos/msoos/cryptominisat","labels_url":"https://api.github.com/repos/msoos/cryptominisat/issues/336/labels{/name}","comments_url":"https://api.github.com/repos/msoos/cryptominisat/issues/336/comments","events_url":"https://api.github.com/repos/msoos/cryptominisat/issues/336/events","html_url":"https://github.com/msoos/cryptominisat/pull/336","id":154214348,"number":336,"title":"Interface extension for glue manipulation","user":{"login":"SmallLars","id":3502479,"avatar_url":"https://avatars.githubusercontent.com/u/3502479?v=3","gravatar_id":"","url":"https://api.github.com/users/SmallLars","html_url":"https://github.com/SmallLars","followers_url":"https://api.github.com/users/SmallLars/followers","following_url":"https://api.github.com/users/SmallLars/following{/other_user}","gists_url":"https://api.github.com/users/SmallLars/gists{/gist_id}","starred_url":"https://api.github.com/users/SmallLars/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SmallLars/subscriptions","organizations_url":"https://api.github.com/users/SmallLars/orgs","repos_url":"https://api.github.com/users/SmallLars/repos","events_url":"https://api.github.com/users/SmallLars/events{/privacy}","received_events_url":"https://api.github.com/users/SmallLars/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2016-05-11T10:51:11Z","updated_at":"2016-05-12T19:59:46Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/msoos/cryptominisat/pulls/336","html_url":"https://github.com/msoos/cryptominisat/pull/336","diff_url":"https://github.com/msoos/cryptominisat/pull/336.diff","patch_url":"https://github.com/msoos/cryptominisat/pull/336.patch"},"body":"As in #320 suggested I added code to add a function for glue manipulation without changing CMS code. There is an example for usage below. Maybe you like to merge.\r\n```\r\nuint32_t manipulate(vector<Lit>& clause, uint32_t glue) {\r\n    // Accept and pass glue or change it\r\n    return glue;\r\n}\r\nsolver.append_glue_calc(manipulate);\r\n```"},"comment":{"url":"https://api.github.com/repos/msoos/cryptominisat/issues/comments/218868492","html_url":"https://github.com/msoos/cryptominisat/pull/336#issuecomment-218868492","issue_url":"https://api.github.com/repos/msoos/cryptominisat/issues/336","id":218868492,"user":{"login":"msoos","id":1334841,"avatar_url":"https://avatars.githubusercontent.com/u/1334841?v=3","gravatar_id":"","url":"https://api.github.com/users/msoos","html_url":"https://github.com/msoos","followers_url":"https://api.github.com/users/msoos/followers","following_url":"https://api.github.com/users/msoos/following{/other_user}","gists_url":"https://api.github.com/users/msoos/gists{/gist_id}","starred_url":"https://api.github.com/users/msoos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msoos/subscriptions","organizations_url":"https://api.github.com/users/msoos/orgs","repos_url":"https://api.github.com/users/msoos/repos","events_url":"https://api.github.com/users/msoos/events{/privacy}","received_events_url":"https://api.github.com/users/msoos/received_events","type":"User","site_admin":false},"created_at":"2016-05-12T19:59:46Z","updated_at":"2016-05-12T19:59:46Z","body":"@capiman is exactly right. So I suggest you add that too, and then re-do the whole experiment and check that your calculations still hold. Have you tried it yet by the way? How much more instances does it solve, with e.g. the SAT Competition 2015 instances, over a 3000s of timeout? Or how much faster is it on average on the instances it does solve? It's not trivial to conduct do this kind of experiment and it's needed for proper understanding of the benefits. I'd be really-really curious!"}}