{"repository":{"owner":"msoos","created_at":"2012-03-13T10:56:05-07:00","homepage":"www.msoos.org","has_issues":true,"open_issues":2,"has_downloads":true,"master_branch":"master","description":"An advanced SAT Solver","pushed_at":"2013-01-09T03:01:51-08:00","forks":1,"fork":false,"size":400,"has_wiki":true,"watchers":9,"language":"C++","private":false,"stargazers":9},"actor_attributes":{"company":"Security Research Labs","type":"User","blog":"www.msoos.org","email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos","location":"Berlin, Germany"},"url":"https://github.com/msoos/cryptominisat/compare/13437bce0f...f0183207eb"}