{"push_id":660082804,"size":1,"distinct_size":1,"ref":"refs/heads/tseitin","head":"893edde26a962786558b297e29d1c5672c7d3991","before":"20bff39cae76613a106bc075e796cd0db341d9d3","commits":[{"sha":"893edde26a962786558b297e29d1c5672c7d3991","author":{"email":"fe31b240ead1b6624dbf7243ec94175ec96ae553@orange.fr","name":"LaChapeliere"},"message":"Clause learning in th_eq current workflow","distinct":true,"url":"https://api.github.com/repos/Lithrein/SATSolver/commits/893edde26a962786558b297e29d1c5672c7d3991"}]}