{"repository":{"description":"A research platform and active library for generalised SAT solving","homepage":"http://www.ok-sat-library.org/","watchers":10,"stargazers":10,"forks":7,"fork":false,"size":2152,"owner":"OKullmann","private":false,"open_issues":4,"has_issues":false,"has_downloads":false,"has_wiki":false,"language":"C++","created_at":"2008-07-30T11:20:06-07:00","pushed_at":"2013-04-20T19:00:50-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Matthew Gwynne","company":"Swansea University","blog":"http://cs.swan.ac.uk/~csmg/","location":"Swansea","email":"30ecf4e4c518826031b38f4b52da8cbe79e529e2@swan.ac.uk"},"url":"https://github.com/OKullmann/oklibrary/pull/426"}