{"push_id":1020712879,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0c9f4e35f575f3578aa7528bb04666977551b708","before":"de45a8c0b441716a731f91fc9900f64b4fad0ce8","commits":[{"sha":"0c9f4e35f575f3578aa7528bb04666977551b708","author":{"email":"cf034cf35831d37b74eca4bcb789dbf9baf015c3@gmail.com","name":"Sicun Gao"},"message":"feat(solver.cpp): more printing functions","distinct":true,"url":"https://api.github.com/repos/scungao/dreal3/commits/0c9f4e35f575f3578aa7528bb04666977551b708"}]}