{"push_id":2733239592,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"04890f2fa566ac920f3dabde192bd1f6af043141","before":"670f44f44ecc772f9e8a13fee49a18ae3a7fe993","commits":[{"sha":"04890f2fa566ac920f3dabde192bd1f6af043141","author":{"name":"Devon Fulcher","email":"6528d3305cc4b2f37445e41abc17ef7ed6916b78@gmail.com"},"message":"fixed unsatisfied clause issue\n\nI was mistaken in the formulation of SAT instances. A clause must have distinct variables.","distinct":true,"url":"https://api.github.com/repos/DevonFulcher/Proof_of_SAT/commits/04890f2fa566ac920f3dabde192bd1f6af043141"}]}
{"actor":{"display_login":"DevonFulcher"}}