{"push_id":620734613,"size":1,"distinct_size":1,"ref":"refs/heads/opt","head":"fc36d861a7e451cc1793242b8e0d8eb719c8aaad","before":"9978cba5a8beab2d5e3ee4e24f4fd5357e1e58d3","commits":[{"sha":"fc36d861a7e451cc1793242b8e0d8eb719c8aaad","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"update default to maxres for MaxSAT, reset pareto and box state on every constraint update\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/fc36d861a7e451cc1793242b8e0d8eb719c8aaad"}]}