{"repository":{"description":"Collection of MaxSMT solvers","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":240,"owner":"mechtaev","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Scala","created_at":"2013-10-24T01:42:35-07:00","pushed_at":"2013-11-16T14:56:05-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Shin Hwei Tan","company":"University of Illinois at Urbana Champaign","location":"Champaign, IL","email":"a1c38c1d116904649691fdd4612130ce52e2f736@illinois.edu"},"url":"https://github.com/mechtaev/maxsmt-playground/compare/8c9af1f6fc...72cd10fa77"}