{"push_id":739522605,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"f4cd6a11a94ab5015d4ad5aef2f4fc324704f2ee","before":"1cff956ceff96069789a6854c152567c85ed0c6d","commits":[{"sha":"c4d3aeec087be0763e0f9d0c4a00e99bf48f401e","author":{"email":"d9926d54d4b1160a57bfb503f440bcea065ab45b@aau.at","name":"Monika Brodbeck"},"message":"optimized clause creation","distinct":true,"url":"https://api.github.com/repos/kerstinma/UCL_Timetabling/commits/c4d3aeec087be0763e0f9d0c4a00e99bf48f401e"},{"sha":"99d44636f5ad0205f0e7baed38797564d4e5bf6a","author":{"email":"d9926d54d4b1160a57bfb503f440bcea065ab45b@aau.at","name":"Monika Brodbeck"},"message":"Created SATSolver with sat4j lib","distinct":true,"url":"https://api.github.com/repos/kerstinma/UCL_Timetabling/commits/99d44636f5ad0205f0e7baed38797564d4e5bf6a"},{"sha":"f4cd6a11a94ab5015d4ad5aef2f4fc324704f2ee","author":{"email":"d9926d54d4b1160a57bfb503f440bcea065ab45b@aau.at","name":"Monika Brodbeck"},"message":"Test SAT Solver","distinct":true,"url":"https://api.github.com/repos/kerstinma/UCL_Timetabling/commits/f4cd6a11a94ab5015d4ad5aef2f4fc324704f2ee"}]}