{"repository":{"description":"An advanced SAT Solver","homepage":"www.msoos.org","watchers":15,"stargazers":15,"forks":4,"fork":false,"size":1164,"owner":"msoos","private":false,"open_issues":12,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2012-03-13T10:56:05-07:00","pushed_at":"2013-07-11T12:46:20-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Stimim Chen","location":"Taiwan","email":"a8848d538925e4adf24b6754f87ec0e7a4081b38@gmail.com"},"url":"https://github.com/Stimim/cryptominisat"}