迷你锌板凳 这是一小堆脚本，可让您使用MiniZinc Python在一组MiniZinc实例上运行基准测试。 该过程分为几个步骤，可以轻松地自定义为各种可能的基准。 当前，运行基准测试的唯一受支持方法是 。 将来可能会使用其他方法。 制备 创建包含问题，模型，DATA_FILE的MiniZinc实例CSV文件。 如果将实例存储在MiniZinc基准存储库结构中，则可以使用mzn-bench collect-instances命令： mzn-bench collect-instances