{"repository":{"owner":"tobyodavies","has_issues":false,"homepage":"minisat.se","watchers":0,"has_downloads":true,"created_at":"2013-01-21T21:28:10-08:00","stargazers":0,"open_issues":0,"description":"A minimalistic and high-performance SAT solver","pushed_at":"2013-01-24T02:20:45-08:00","forks":0,"language":"C++","fork":true,"size":156,"has_wiki":true,"private":false},"actor_attributes":{"type":"User","name":"Toby Davies","location":"Melbourne","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/tobyodavies/minisat/compare/386e4f3726...2f6b8914f8"}