如何在minisat中表达调度问题？
Phi*_*hil 2 constraint-programming sat
Minisat是一个约束编程/满意度工具,有一个版本的Minisat可以在浏览器中运行http://www.msoos.org/2013/09/minisat-in-your-browser/
如何用Minisat表达调度问题？是否有更高级别的语言编译成Minisat,这会让我表达它？
我的意思是解决像考试时间表这样的问题.http://docs.jboss.org/drools/release/6.1.0.Final/optaplanner-docs/html_single/#examination
另一种高级建模语言是Picat(http://picat-lang.org/),它有一个选项可以解决/ 2在使用sat模块时转换为CNF,例如"solve([dump],Vars)".使用sat模块时的语法 - 以及cp和mip模块 - 与标准CLP语法类似.
有关Picat的一些示例,请参阅我的Picat页面:http://hakank.org/picat/.
- 我正在学习 minizinc，并且认为你的网站是最好的资源（以及你在 SO 上的答案）......唉，它有几天没有响应......无论如何，你的 [github repo](https://github .com/hakank）仍然可用。谢谢 (2认同)
| 归档时间： |
|
| 查看次数： |
1181 次 |
| 最近记录： |