{"push_id":2737003241,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a52dd28db59946239fe0f166c168fa3a2636d403","before":"13743542d2d6c015af9dd8a0a6a7cb475b00aac5","commits":[{"sha":"a52dd28db59946239fe0f166c168fa3a2636d403","author":{"name":"ctlsat","email":"e1785862218c92aa37b23cf8453a09cb1104f780@no-mail.xyz"},"message":"Bugfix: Quantify the variables added by the Tseytin transform with EXISTS.\nBugfix: Fix order of arguments to isFixpoint.\nAllow underscores in variable names.\nWait for keystroke at finish.","distinct":true,"url":"https://api.github.com/repos/Mickelbil84/ctlsat/commits/a52dd28db59946239fe0f166c168fa3a2636d403"}]}
{"actor":{"display_login":"ctlsat"}}