66. 求解器

给定一些约束，求出可能的解，这就和解方程一样。

可以参考一篇非常优秀的文章。 z3求解器