如何使用zimpl创建* .zpl文件？

Question

如何创建与SCIP一起使用的.zpl格式的文件？我是否在记事本中写下我的问题并将其另存为.zpl？

Answer 1

是。这正是你必须要做的。