GitHub PushEvent at 2014-11-24 16:12:38
Repository: fol-solver
Actor: Hoss93
Payload: {"shas":[["59b0b48422eb861ff6b4b772797f0cdafde12ee6","3a53bd40d2e9a29853047c04d240bd1cbd5de09d@gmail.com","implemented remove_equivalences & remove_implications. More testing would be good","hossam",true]],"size":1,"ref":"refs/heads/cnf","head":"59b0b48422eb861ff6b4b772797f0cdafde12ee6"}