Add support for solving Chinese Remainder Theorem problems.