0

是不是 minizinc 默认不输出对称正确的优化解决方案？基本上，我只得到一个针对一个问题的正确优化解决方案（将矩形瓷砖放在更大的瓷砖内并试图最小化总高度），尽管没有明确地编写任何代码行来破坏对称性。这就是为什么我的问题。

问候 DJ

4

0 回答 0