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