{"push_id":702510964,"size":5,"distinct_size":0,"ref":"refs/heads/master","head":"2ca4f62d53a65dfa05f3f9e5478db80cf237fc79","before":"e75123f13cecd7d659020c4a5fb54d14ab4bafdd","commits":[{"sha":"f5973a1c9fc911501275abb07e2de182f992621b","author":{"email":"60d075b8805d3eaab6dbd9ba3f7b6d23eab245b8@gmail.com","name":"aashishsatya"},"message":"Added function to negate a clause","distinct":false,"url":"https://api.github.com/repos/aashishsatya/Automatic-Theorem-Prover/commits/f5973a1c9fc911501275abb07e2de182f992621b"},{"sha":"20052017eeab5f30801f55b9169a50ca34a712af","author":{"email":"60d075b8805d3eaab6dbd9ba3f7b6d23eab245b8@gmail.com","name":"aashishsatya"},"message":"Added function that checks if a clause is definite","distinct":false,"url":"https://api.github.com/repos/aashishsatya/Automatic-Theorem-Prover/commits/20052017eeab5f30801f55b9169a50ca34a712af"},{"sha":"be4dc61942bc4e8748022a61634e19e4c6adb48f","author":{"email":"60d075b8805d3eaab6dbd9ba3f7b6d23eab245b8@gmail.com","name":"aashishsatya"},"message":"Clarified removing extra parens","distinct":false,"url":"https://api.github.com/repos/aashishsatya/Automatic-Theorem-Prover/commits/be4dc61942bc4e8748022a61634e19e4c6adb48f"},{"sha":"8e3cb01b73042a3ca37d060b0973feb4313c2c67","author":{"email":"60d075b8805d3eaab6dbd9ba3f7b6d23eab245b8@gmail.com","name":"aashishsatya"},"message":"Worked on string representation of clauses","distinct":false,"url":"https://api.github.com/repos/aashishsatya/Automatic-Theorem-Prover/commits/8e3cb01b73042a3ca37d060b0973feb4313c2c67"},{"sha":"2ca4f62d53a65dfa05f3f9e5478db80cf237fc79","author":{"email":"60d075b8805d3eaab6dbd9ba3f7b6d23eab245b8@gmail.com","name":"aashishsatya"},"message":"Added ask and tell for kb","distinct":false,"url":"https://api.github.com/repos/aashishsatya/Automatic-Theorem-Prover/commits/2ca4f62d53a65dfa05f3f9e5478db80cf237fc79"}]}