如何用新的Z3计算插值？

Question

我曾经使用Z3_interpolate函数计算插值，同时使用不稳定的Z3 4.3.2。但是在Z3 4.3.2的稳定版本和Z3 4.3.3的不稳定版本中，我不能再调用Z3_interpolate了。我想知道如何使用新Z3提供的API计算插值。 （该文档和示例提供了有关使用Z3 API计算插值的一些信息，我现在不知道如何操作）