在zimpl中编写MP以用scip解决

Question

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

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

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

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

亲切的问候

Answer 1

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