mzn bench:在MiniZinc模型求解器或编译器本身上执行基准测试的框架 源码

迷你锌板凳 这是一小堆脚本,可让您使用MiniZinc Python在一组MiniZinc实例上运行基准测试。 该过程分为几个步骤,可以轻松地自定义为各种可能的基准。 当前,运行基准测试的唯一受支持方法是 。 将来可能会使用其他方法。 制备 创建包含问题,模型,DATA_FILE的MiniZinc实例CSV文件。 如果将实例存储在MiniZinc基准存储库结构中,则可以使用mzn-bench collect-instances命令: mzn-bench collect-instances > instances.csv 实例化基准测试环境。 该环境至少应包含带有mzn-bench和基准测试脚本的Python虚拟环境,但是您也可以设置环境变量(例如PATH )和负载集群模块。 以下脚本bench_env.sh提供了一个示例环境,可以使用source benc