{"repository":{"has_issues":true,"owner":"master-lincoln","watchers":0,"stargazers":0,"open_issues":0,"has_downloads":true,"homepage":"","fork":false,"size":6056,"created_at":"2013-01-14T04:22:36-08:00","description":"Random k-SAT solver for a university excercise in the algoritms class.","private":false,"has_wiki":true,"pushed_at":"2013-01-27T03:31:06-08:00","forks":0,"language":"Java"},"actor_attributes":{"name":"Philipp Abraham","type":"User","location":"Germany","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/master-lincoln/3-sat-crititcal-number/compare/92dcad563b...86f4f21c83"}