{"push_id":844476875,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9f95f32352f5e8105888b40a8d045ae85b25e468","before":"cdde4ec9da734e60e5bd67dbcab4a70f60f6b7fa","commits":[{"sha":"9f95f32352f5e8105888b40a8d045ae85b25e468","author":{"email":"92e8a0f917bfe9409b6fcddc39ee84539c8dd6a1@utah.edu","name":"Tony"},"message":"fleshing out solver","distinct":true,"url":"https://api.github.com/repos/Toianoke/SAT/commits/9f95f32352f5e8105888b40a8d045ae85b25e468"}]}