{"push_id":990771639,"size":4,"distinct_size":1,"ref":"refs/heads/master","head":"e1d7437eb0826db67efdff3e93e71a8ed141692d","before":"26c7c88881ae72b9733eb521f1a600469e91ea06","commits":[{"sha":"80038bc1720a63413f889201753512f5dc9d5ba3","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"add ToySolver.Converter.GCNF2MaxSAT module","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/80038bc1720a63413f889201753512f5dc9d5ba3"},{"sha":"a6768de4bf79ddca449a7256b34aabe10c270199","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"use ToySolver.Converter.GCNF2MaxSAT in pbconvert/lpconvert","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/a6768de4bf79ddca449a7256b34aabe10c270199"},{"sha":"68b319aa62c98df91825c711f7c3c09a2ed19ce0","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"toysat: use ToySolver.Converter.GCNF2MaxSAT to apply survey propagation in GCNF mode","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/68b319aa62c98df91825c711f7c3c09a2ed19ce0"},{"sha":"e1d7437eb0826db67efdff3e93e71a8ed141692d","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"Merge remote-tracking branch 'origin/gcnf2maxsat'","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/e1d7437eb0826db67efdff3e93e71a8ed141692d"}]}