{"push_id":613205721,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a03c12d95b51e8b73680fedf1548c06acab2969f","before":"8d92c598c60cdde306e0342186de0bf1676fe5d7","commits":[{"sha":"a03c12d95b51e8b73680fedf1548c06acab2969f","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(util/constraint): add forall, exists constraints","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/a03c12d95b51e8b73680fedf1548c06acab2969f"}]}