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