{"push_id":860243926,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d3e6a31937a084e6bcea1c2185814484705f0a79","before":"d4038e47527338d0c9d636281f104993c769df22","commits":[{"sha":"d3e6a31937a084e6bcea1c2185814484705f0a79","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@florians-mbp.fritz.box","name":"Florian Corzilius"},"message":"bugfix when learning infeasible subsets of size 1 in the SATModule","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/d3e6a31937a084e6bcea1c2185814484705f0a79"}]}