{"push_id":588163373,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"d95d0bb28b098def3602d247889394b1f7a38cdc","before":"18f780ea35ceaacc4b07aa4f66c9531324275ce2","commits":[{"sha":"fe0f0bb06d0aa068b4fc276260c2080aade92353","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"change --all-mus-daa option of toysat to --all-mus-method","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/fe0f0bb06d0aa068b4fc276260c2080aade92353"},{"sha":"572c42b05cdc8b585b1c2b66ea44a5012e518ba0","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"add --mus-method option to toysat","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/572c42b05cdc8b585b1c2b66ea44a5012e518ba0"},{"sha":"6c48d38c919718e7f60f384685f17ca13b14be7b","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"fix bugs of QuickXplain implementation","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/6c48d38c919718e7f60f384685f17ca13b14be7b"},{"sha":"d95d0bb28b098def3602d247889394b1f7a38cdc","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"clean up QuickXplain implementation a little","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/d95d0bb28b098def3602d247889394b1f7a38cdc"}]}