{"repository":{"description":"Propositional and First Order Logic Tools","homepage":"","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":292,"owner":"b3aver","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":false,"language":"Python","created_at":"2012-02-19T03:45:32-08:00","pushed_at":"2013-07-26T02:16:25-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Paolo Sberna","location":"Enna, IT","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/b3aver/PyLogic/pull/1"}