{"push_id":604306124,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5d65238b35beb1463730907f5b6d41e00a9c98da","before":"9012e6c212d07a8c0e677151dc0c438d3d792a50","commits":[{"sha":"5d65238b35beb1463730907f5b6d41e00a9c98da","author":{"email":"039d2ffcde3a74ce51b0ea06e6384888f187c5cd@gmail.com","name":"jordimontessanabria"},"message":"Code of satSolver added","distinct":true,"url":"https://api.github.com/repos/JordiMontesSanabria/SatSolver/commits/5d65238b35beb1463730907f5b6d41e00a9c98da"}]}