{"push_id":2394873575,"size":1,"distinct_size":1,"ref":"refs/heads/AusielloAlgorithm","head":"9b37a88fe613c706b804c42d776592f2da0ee5a2","before":"ce386c1222d4894e350ed0dd5a2bda8d914c84a9","commits":[{"sha":"9b37a88fe613c706b804c42d776592f2da0ee5a2","author":{"name":"Unknown","email":"434fd2d50c4cc6b5b078b3a593b0f7f27dec9283@gmail.com"},"message":"Error in Redundancy (OPEN)\n\nWe pointed out examples (new input) in which redundancy elimination fails (mutual redundancy). A new version is still to be found.","distinct":true,"url":"https://api.github.com/repos/SimVil/Horn-Minimization-Code/commits/9b37a88fe613c706b804c42d776592f2da0ee5a2"}]}
{"actor":{"display_login":"SimVil"}}