payload: {"push_id":4224111248,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"b261e9b88e8c214eea8bc622d24f50a98ec21d82","before":"66eb4e233170c206323da52ac229dd4cd98b07e2","commits":[{"sha":"b261e9b88e8c214eea8bc622d24f50a98ec21d82","author":{"name":"Matthias Heizmann","email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de"},"message":"MultiCaseSolvedBinaryRelation solveForSubject\n\nadd first preliminary version of this new method\nwhich is a copy of the old method with the\nfollowing modifications:\n* provides a MultiCaseSolvedBinaryRelation instead of a\nSolvedBinaryRelation with assumptions\n* uses MultiCaseSolutionBuilder\n* omit code for division by variables (will be added later)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b261e9b88e8c214eea8bc622d24f50a98ec21d82"}]}
other: {"actor":{"display_login":"Heizmann"}}