{"repository":{"has_issues":true,"organization":"CVC4","owner":"CVC4","pushed_at":"2012-12-06T10:45:46-08:00","forks":0,"has_wiki":true,"watchers":0,"fork":false,"size":20524,"open_issues":0,"stargazers":0,"private":false,"created_at":"2012-12-06T10:45:04-08:00","description":"CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.","has_downloads":true},"actor_attributes":{"email":"c90c2cb9656b71365620d27278d0c5e8bc845e7b","type":"User"},"url":"https://github.com/CVC4/CVC4/tree/smtcomp2012-resubmission"}