{"push_id":1028651532,"size":1,"distinct_size":1,"ref":"refs/heads/enh/dimacs","head":"432afeefbd2153047ac2ff56f85a1b2b7308dcee","before":"2afba023289d4e2f5665636d424ba4621c65df5a","commits":[{"sha":"432afeefbd2153047ac2ff56f85a1b2b7308dcee","author":{"email":"1861a6cdaa389284d6804c5fb9fcace500ca8a2a@gmail.com","name":"John Tyree"},"message":"MAINT: support simplification and solving via MiniSat C++","distinct":true,"url":"https://api.github.com/repos/enthought/sat-solver/commits/432afeefbd2153047ac2ff56f85a1b2b7308dcee"}]}