{"repository":{"description":"The fast aiger checker","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":1424,"owner":"hguenther","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2013-05-17T00:52:03-07:00","pushed_at":"2013-06-20T04:57:53-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Henning Günther","company":"TU Wien","blog":"http://forsyte.at/people/guenther/","email":"bbbe0b7bb637ab674d49618e0a81ffdb09351db7@forsyte.at"},"url":"https://github.com/hguenther/fac/compare/29d70c3b09...97a4446a0a"}