{"repository":{"has_issues":true,"owner":"marcthurley","has_downloads":true,"created_at":"2012-08-24T08:22:56-07:00","open_issues":1,"pushed_at":"2012-09-06T19:48:48-07:00","description":"The #SAT solver sharpSAT","forks":1,"has_wiki":true,"watchers":1,"fork":false,"size":446,"stargazers":1,"language":"C++","private":false},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/marcthurley/sharpSAT/pull/1"}