{"push_id":553226309,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1f8191dad132b2796dd69b98fb01e405f803978e","before":"5756389a3ad5515b9a7890700529123c898d36cc","commits":[{"sha":"1f8191dad132b2796dd69b98fb01e405f803978e","author":{"email":"fafcab224ce7f54b53d367b95c561a4fdaac1d6e@prefield.com","name":"Takanori MAEHARA"},"message":"Horn-SAT in linear time by Dowling-Gallier's algorithm","distinct":true,"url":"https://api.github.com/repos/spaghetti-source/algorithm/commits/1f8191dad132b2796dd69b98fb01e405f803978e"}]}