Algorithm 我们可以在GECODE解算器中指定一个不同于域和边界的新传播子来求解线性约束吗？

线性方程组/不等式组可以很容易地用单纯形算法求解，单纯形算法速度非常快。但对于GECODE解算器，我们只有两个传播子：域和边界，它们解决的约束具有不同的求解线性问题的方法，并且时间复杂度接近NP难\n
我们是否可以修改GECODE解算器代码以指定一个新的传播器，该传播器将使用单纯形算法来求解线性约束？有什么想法吗