{"push_id":1064395618,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d86d678d2d0e029c0df053dca697af0c8110313e","before":"2a9a15ed2dcffee53dde2ce21e31e23cf4c48fb1","commits":[{"sha":"d86d678d2d0e029c0df053dca697af0c8110313e","author":{"email":"45ef5e4d523c2248dec332d57c40e42b7517d0a0@gmail.com","name":"NicolasDerumigny"},"message":"Adding conversion to latex string for proofs of unsatisfiability","distinct":true,"url":"https://api.github.com/repos/NicolasDerumigny/Project2-SAT-Solver/commits/d86d678d2d0e029c0df053dca697af0c8110313e"}]}