{"push_id":1826209019,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"ba87bcb9d18ae837b3c5b3ae62cbf228039a28d9","before":"f73825a1b3827f7e8d6457390c84f84bd5d7211d","commits":[{"sha":"ba87bcb9d18ae837b3c5b3ae62cbf228039a28d9","author":{"name":"Lev Nachmanson","email":"9611065c9bc7406f107b8c4867940c77fa340976@microsoft.com"},"message":"fix the lp_solver init when workig on an mps file\n\nSigned-off-by: Lev Nachmanson <levnach@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/levnach/z3/commits/ba87bcb9d18ae837b3c5b3ae62cbf228039a28d9"}]}
{"actor":{"display_login":"levnach"}}