这可能是一个非常基本的问题，但是，到目前为止我没有找到任何建议。
我在 OSX 上运行 Scip Opt Suite，到目前为止一切运行良好。不，我想开始在 zimpl 中模拟我的第一个数学问题，但是我不知道如何开始。
但是，在用户指南中只规定了如何加载现有的 zpl 文件，而不是如何在文件上创建。
您有任何建议或处理该任务的任何其他线程吗？
亲切的问候
问问题
401 次
这可能是一个非常基本的问题，但是，到目前为止我没有找到任何建议。
我在 OSX 上运行 Scip Opt Suite，到目前为止一切运行良好。不，我想开始在 zimpl 中模拟我的第一个数学问题，但是我不知道如何开始。
但是，在用户指南中只规定了如何加载现有的 zpl 文件，而不是如何在文件上创建。
您有任何建议或处理该任务的任何其他线程吗？
亲切的问候
在 zimpl 包根目录中，有一个example目录。中的 .zpl 文件example是编写您自己的 zimpl 输入的一个很好的起点。此外，zimpl 的作者编写了这个 pdf，介绍了使用 zimpl 编写公式来解决数独难题的过程。