{"push_id":815716273,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dca37075c4128c42a92f32752efcde9aef0621f3","before":"60ff134675d7b93758a1761d9ef504f9898371fb","commits":[{"sha":"dca37075c4128c42a92f32752efcde9aef0621f3","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Fix for BVConstraints.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/dca37075c4128c42a92f32752efcde9aef0621f3"}]}