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