{"push_id":827118633,"size":1,"distinct_size":1,"ref":"refs/heads/NO_GenericAtom","head":"015a706c85cad6573ebcc520371a2f2ba76961cb","before":"416e8561e0a3912e06bcba60083d45362185e2a3","commits":[{"sha":"015a706c85cad6573ebcc520371a2f2ba76961cb","author":{"email":"1cd424918902c1dbc16c61ea09f30b31f6c2f0e9@davide-All-Series","name":"dave90"},"message":"Fix minor in backjumping","distinct":true,"url":"https://api.github.com/repos/veltri/DLV2/commits/015a706c85cad6573ebcc520371a2f2ba76961cb"}]}