图着色工作台

自由图编辑、顺序实验、DSATUR 与可取消精确证明

实验是教学模型，具体边界见工作区内说明。