{"push_id":876326418,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9eb550f208239c8b5cfd77424442f974b260a01b","before":"379f8a4839678ddd6e4b669fe6652fe5b90d323b","commits":[{"sha":"9eb550f208239c8b5cfd77424442f974b260a01b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(experimental/ep_nra_solver.cpp): comment z3++.h\n\n[skip ci]","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/9eb550f208239c8b5cfd77424442f974b260a01b"}]}