{"push_id":575878640,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cec0b4b98eca7180db848ed0e67361630c9779a1","before":"f15d0efe69ec56143ba0d12cbd95380ec92fe5d4","commits":[{"sha":"cec0b4b98eca7180db848ed0e67361630c9779a1","author":{"email":"07fd371fb5725246e7a1674b1a9fcd66568957cf@gmail.com","name":"lithrein"},"message":"clause.cpp to_str() method done","distinct":true,"url":"https://api.github.com/repos/Lithrein/SATSolver/commits/cec0b4b98eca7180db848ed0e67361630c9779a1"}]}