调度问题的约束规划框架
我将开发一个用于项目规划的软件应用程序，并且正在寻找一个支持区间算术和实数约束的约束编程库。
我必须实现的功能是项目的调度。
您能为我建议一个解决此类问题的约束编程框架吗？
提前致谢！
I'm going to work on a software application for project planning and I’m looking for a constraint programming library that supports interval arithmetic and constraints on real numbers.
The feature I have to implement is the scheduling of project.
Could you advise me a constraint programming framework for such problem?
Thanks in advance!
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（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++ 的。
然而，您应该意识到，对实数的约束求解并不总是可判定的，并且取决于您打算在建模中使用的约束类型。只要你的约束是线性的，你就是安全的;-)
There is a nice book called "Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems" co-authored by Philippe Baptiste, Claude Le Pape and Wim Nuijten.
IBM has a commercial tool called ILOG CPLEX specially designed for constraint solving as means of addressing scheduling questions http://www-01.ibm.com/software/integration/optimization/cplex-optimization-studio/ Free alternatives would be GeoCode http://www.gecode.org/ and Minion http://minion.sourceforge.net/ Both are C++-based.
You should however be aware that constraints solving over the reals is not always decidable and would depend on the kind of constraints you intend to use in your modeling. As long as your constraints are linear, you are safe ;-)