{"repository":{"owner":"vegard","created_at":"2012-08-04T02:46:55-07:00","has_downloads":true,"stargazers":1,"has_wiki":true,"watchers":1,"fork":false,"size":132,"has_issues":true,"pushed_at":"2012-08-04T02:59:32-07:00","forks":0,"language":"C++","description":"Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers","private":false,"open_issues":0},"actor_attributes":{"email":"c9abf7248a519119ccb31f4fd3c3a4e0b6ebd20b@gmail.com","name":"Vegard Nossum","blog":"http://folk.uio.no/vegardno/","type":"User","location":"Oslo, Norway"},"url":"https://github.com/vegard/cmpsat/compare/ebb4bda76b...37a9249e30"}