{"push_id":678343510,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f7d49534fd461d1d09d3931fabab9c4375752b59","before":"491ea6cce6fcdeaacadf8fb1a84cbb542cfaeea6","commits":[{"sha":"f7d49534fd461d1d09d3931fabab9c4375752b59","author":{"email":"4cdc7535f17d345624c535ce8f749c51ed423059@gmail.com","name":"NonWhite"},"message":"modifications for generateCNF","distinct":true,"url":"https://api.github.com/repos/NonWhite/LabIA_P3/commits/f7d49534fd461d1d09d3931fabab9c4375752b59"}]}