文章目录
1. 前言
随着数学规划求解器的功能越来越丰富,以及其中运用到的数学技巧、算法等的复杂化,使得求解器在求解问题的过程中,记录的日志信息会越来越多,这种密度高且详细的日志信息使我们只能将有限的注意力放在感兴趣的信息上,而忽略了其他绝大部分的可能有价值的信息。
针对这个问题,Gurobi 团队开发了专门的日志分析器 gurobi-logtools(下载地址),研究员 Dominik Krupke1 以此为灵感,基于Python的 streamlit 库开发了用于CP-SAT的日志分析工具