{"push_id":545973926,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b2bdba0d9fffe93dc1c5ee22f3a6cbdb0b75c8ec","before":"56633a7d849c35c38c443a8fa7886b9891b47f0e","commits":[{"sha":"b2bdba0d9fffe93dc1c5ee22f3a6cbdb0b75c8ec","author":{"email":"ff452c2c33cea905ce274a3f4aba811685714b5e@kit.edu","name":"Markus Iser"},"message":"gate-analyzer now deals with all cnf-problems (no matter if there are unit-clauses or not","distinct":true,"url":"https://api.github.com/repos/IserMk/clauses/commits/b2bdba0d9fffe93dc1c5ee22f3a6cbdb0b75c8ec"}]}