{"push_id":552949209,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"240afefe3b104370338b116f9378f7547ef63b44","before":"5335f7386248889c2ae1254786d727d6c1833b2c","commits":[{"sha":"240afefe3b104370338b116f9378f7547ef63b44","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@florians-mbp.fritz.box","name":"Florian Corzilius"},"message":"minor bugfix in the last optimization of the vsmodule using variable bounds in the simplification of state conditions","distinct":true,"url":"https://api.github.com/repos/nafur/smtrat/commits/240afefe3b104370338b116f9378f7547ef63b44"}]}