{"push_id":602930361,"size":1,"distinct_size":1,"ref":"refs/heads/FlexBison","head":"ea4daa290f599270192a692c63634df4769ed5cd","before":"3d96ad5ad25367e76385500b7a6770f471ca36eb","commits":[{"sha":"ea4daa290f599270192a692c63634df4769ed5cd","author":{"email":"fe31b240ead1b6624dbf7243ec94175ec96ae553@orange.fr","name":"LaChapeliere"},"message":"Clearing code with aux function Stack::annul_cons()","distinct":true,"url":"https://api.github.com/repos/Lithrein/SATSolver/commits/ea4daa290f599270192a692c63634df4769ed5cd"}]}