ISL的包装器，一个整数集库
islp的Python项目详细描述
islpy是围绕sven verdoolege的isl的一个python包装器，它是一个用于操作集合和 以线性约束为界的整数点的关系。
对集合支持的操作包括
- 交集、并集、集差，
- 空置检查，
- 凸面外壳，
- （整数）仿射壳，
- 整数投影，
- 使用参数整数规划计算字典最小值，
- 凝聚，和
- 参数顶点枚举。
它还包括一个基于广义基归约的ilp求解器。 地图上的闭包（可以编码无限图）、依赖性分析和 分段阶跃多项式的界。
islpy附带全面的documentation。
^ EM1}$要求：
欢迎加入QQ群-->： 979659372
