{"push_id":622165199,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"da031beeef8fb6959ccf167e61a8dd45ef5923b4","before":"dbcf89c39112f367947912d05d6ebdde4bce3fbb","commits":[{"sha":"da031beeef8fb6959ccf167e61a8dd45ef5923b4","author":{"email":"a856efced3ebd67a1a78f27fb46e2fa6f4108525@tuwien.ac.at","name":"Stefan Hetzl"},"message":"improve interface of TseitinCNF\n\nThe apply method has now a type analogous to that of CNFp.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/da031beeef8fb6959ccf167e61a8dd45ef5923b4"}]}