{"repository":{"description":"Python bindings to the picosat SAT solver","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":108,"owner":"ilanschnell","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Python","created_at":"2013-03-23T20:34:52-07:00","pushed_at":"2013-03-23T22:26:10-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Ilan Schnell","company":"Continuum Analytics","location":"Austin, TX","email":"6a3788f6e74c87fb3d0c6e4ad060230c96720f6f@gmail.com"},"url":"https://github.com/ilanschnell/pycosat/compare/57eb5f3f9b...c696ed8ca5"}