{"repository":{"watchers":0,"owner":"lpradel","has_issues":true,"has_downloads":true,"pushed_at":"2013-01-12T07:04:56-08:00","description":"A Windows port of the C/C++ BDD framework CUDD (2.5.0) by Somenzi.","stargazers":0,"forks":0,"language":"C","has_wiki":true,"fork":false,"size":9088,"created_at":"2013-01-05T08:23:07-08:00","open_issues":0,"private":false,"homepage":""},"actor_attributes":{"name":"Lukas Pradel","type":"User","company":"adesso AG","location":"Dortmund, Germany","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/lpradel/CUDDVC-2.5.0/compare/6bb1cfc1ef...0099f09849"}