假设我们在不考虑其目标函数的情况下对混合整数线性规划有以下公式。即一组
$$X = {(x,y) \in \mathbb{R}^n \times \mathbb{Z}^m \; | \; 斧头 +Bz <= d}$$
（我不知道如何在这里放置乳胶代码......）
还假设约束 Ax + Bz <= d 也可以写成逻辑函数的形式（即满足给定条件时返回 true 的函数）。
现在，我想对集合 X 中的一组点进行采样，只需给出指定的尺寸常数 m 和 n。
我虽然使用蒙特卡洛类型算法的一种方法，但由于它看起来像是一种蛮力并且可能需要很多时间来处理复杂的约束，所以我决定不使用它们。
使用 PYTHON 是否有更好的解决方案？
谢谢 ！