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