{"push_id":623766584,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"20ad30e58376d1d608e82d5eb5d3a4a444b8cc9b","before":"886a5e7ad21f04f2d9b2137fe92676c993982fa7","commits":[{"sha":"20ad30e58376d1d608e82d5eb5d3a4a444b8cc9b","author":{"email":"5bc11715362632f0f15e6e1189580fdfef929f1b@gmail.com","name":"Bingqing Qu"},"message":"change solver to formula exactly and create real solver abstraction","distinct":true,"url":"https://api.github.com/repos/Jetpie/open-linear/commits/20ad30e58376d1d608e82d5eb5d3a4a444b8cc9b"}]}