{"push_id":736721634,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"fc3e1af4a950888cbcc78746539d8d9a0a608d57","before":"3d7785cc182bdbd40ddacac5e3a2426bacc97298","commits":[{"sha":"fc3e1af4a950888cbcc78746539d8d9a0a608d57","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"add dump_models option per suggestion from Pankaj Chauhan\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/fc3e1af4a950888cbcc78746539d8d9a0a608d57"}]}