{"repository":{"description":"GSoC 2012 project on SAT proof compression","homepage":"","watchers":2,"stargazers":2,"forks":0,"fork":true,"size":16261,"owner":"Jogo27","private":false,"open_issues":7,"has_issues":false,"has_downloads":true,"has_wiki":false,"language":"Scala","created_at":"2012-06-10T10:46:05-07:00","pushed_at":"2013-11-17T04:58:07-08:00","master_branch":"develop"},"actor_attributes":{"type":"User","name":"Joseph Boudou","location":"France","email":"fe92d8d182fa881f7f1046e8f336f83986c55677@matabio.net"},"url":"https://github.com/Jogo27/Skeptik/compare/feature/RedRec"}