{"push_id":791393928,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4177f9d0eca0fab09a89e1afec75771f4cec1d4a","before":"f15d1bdd1600f0f923f2751999a874e6c9ca8537","commits":[{"sha":"4177f9d0eca0fab09a89e1afec75771f4cec1d4a","author":{"email":"ec2303f2984ab5ea64f1182537c41b733b536a24@rwth-aachen.de","name":"Netz"},"message":"Moved propagation setting into MultivariateHornerSettings","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/4177f9d0eca0fab09a89e1afec75771f4cec1d4a"}]}