{"repository":{"has_downloads":true,"pushed_at":"2013-01-31T15:31:21-08:00","forks":9,"owner":"CVC4","created_at":"2012-12-06T10:45:04-08:00","open_issues":0,"has_wiki":false,"description":"CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.","language":"C++","fork":false,"size":596,"watchers":19,"has_issues":false,"private":false,"organization":"CVC4","stargazers":19},"actor_attributes":{"email":"fed39eeb2211bd98bbdce21325227889dd5b6d28@morgandeters.com","type":"User","location":"New York","name":"Morgan Deters","blog":"http://www.cs.nyu.edu/~mdeters/","company":"New York University"},"url":"https://github.com/CVC4/CVC4/compare/db1bbaa13a...fef10dcb3d"}