用zimpl写一个MP用scip解决

Question

这可能是一个非常基本的问题，但是，到目前为止我没有找到任何建议。

我在 OSX 上运行 Scip Opt Suite，到目前为止一切运行良好。不，我想开始在 zimpl 中模拟我的第一个数学问题，但是我不知道如何开始。

但是，在用户指南中只规定了如何加载现有的 zpl 文件，但没有规定如何在文件上创建。

您有任何建议或处理该任务的任何其他线程吗？

亲切的问候

Answer 1

在 zimpl 包根目录中，有一个 example 目录。 example 中的 .zpl 文件是编写自己的 zimpl 输入的一个很好的起点。此外，zimpl 的作者写了this pdf，介绍了使用 zimpl 编写公式来解决数独难题的过程。