Appendix and source code of ACP solver for the paper On the additive chromatic number of several families of graphs

This folder contains a source code for solving the ADDITIVE COLORING PROBLEM as well as testing the ADDITIVE COLORING CONJECTURE. In addition, it contains the appendix of the paper "On the additive chromatic number of several families of graphs" with proofs of some propositions, the integer programming model and some computational experiments.

本文件夹包含用于求解加色问题（Additive Coloring Problem）并验证加色猜想（Additive Coloring Conjecture）的源代码。此外，本文件夹还收录了论文《若干图类的加色数》（原标题："On the additive chromatic number of several families of graphs"）的附录，其中包含部分命题的证明、整数规划模型与若干计算实验内容。