{"push_id":871274047,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"17176993eaa325b9a794c3a47e536b72d2532700","before":"ebc33c34752485f0625506e5389729aa09c02789","commits":[{"sha":"17176993eaa325b9a794c3a47e536b72d2532700","author":{"email":"cbc093e3a8ffeed890845b1b7e3ed095535c92e3@gmail.com","name":"NunoDuarte"},"message":"Add find_unit_clauses; check clauses isnt calculating correctly","distinct":true,"url":"https://api.github.com/repos/NunoDuarte/SAT_algorithm/commits/17176993eaa325b9a794c3a47e536b72d2532700"}]}