{"repository":{"description":"CNF generator in DIMACS format. It produces common families of CNFs.","watchers":0,"stargazers":0,"forks":0,"fork":true,"size":224,"owner":"marcvinyals","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":true,"language":"Python","created_at":"2013-01-24T08:55:48-08:00","pushed_at":"2013-04-04T12:08:33-07:00","master_branch":"master2"},"actor_attributes":{"type":"User","name":"Marc Vinyals","company":"KTH Royal Institute of Technology","blog":"http://www.csc.kth.se/~vinyals/","location":"Stockholm","email":"e4e5edda6e41f00eebe828da1de4438e337efe2e@kth.se"},"url":"https://github.com/marcvinyals/cnfgen/compare/5271e509e4...19f4d89a8a"}