{"push_id":584091974,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"52eabe8225eb3dd3f6c779a858f10b2ba2dc398a","before":"feab39aebc93d88d1b0e01eee2dab9c3ae98d445","commits":[{"sha":"52eabe8225eb3dd3f6c779a858f10b2ba2dc398a","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"wrote python script to run minisat and collect learnt clauses","distinct":true,"url":"https://api.github.com/repos/dselsam/mlsat/commits/52eabe8225eb3dd3f6c779a858f10b2ba2dc398a"}]}