昨年のTPPのお題 Uniform Candy Distribution をZ3で解いたやつを、最新のZ3で動くように修正。 https://github.com/msakai/tpp2011