我将开发一个用于项目规划的软件应用程序，我正在寻找一个支持区间运算和实数约束的约束编程库。
我必须实现的功能是项目的安排。
你能告诉我这个问题的约束编程框架吗？
提前致谢！
答案 0 :(得分：1)
Philippe Baptiste，Claude Le Pape和Wim Nuijten共同撰写了一本名为“基于约束的调度：将约束规划应用于调度问题”的书。
IBM有一个名为ILOG CPLEX的商业工具，专门用于解决约束问题，作为解决调度问题的方法http://www-01.ibm.com/software/integration/optimization/cplex-optimization-studio/免费替代方案是GeoCode http://www.gecode.org/和Minion http://minion.sourceforge.net/两者都是基于C ++的。
但是，您应该意识到，对实数的约束求解并不总是可判定的，并且取决于您打算在建模中使用的约束类型。只要你的约束是线性的，你就是安全的; - ）