10.60507/FK2/ZE9C3LBrand, TimoTimoBrand0009-0004-3111-2045Technical University of MunichHeld, StephanStephanHeld0000-0003-2188-1559University of Bonnbonndata2024Mathematical SciencesHeld, StephanStephanHeldUniversity of Bonn2024-10-282024-11-08C++, BASH, and consolesarXiv:2411.0300384842440266869027067473920text/markdownapplication/zipapplication/zipapplication/x-tar1.1MITThis dataset contains source code and consoles for computing chromatic numbers with exact decision diagrams, solving integer programs with exact arithmetic. The chromatic number of the DIMACS instance r1000.1c could be determined for the first time. There are 3 files: - ddruns_main.zip contains scripts to reproduce the results - ddruns.tar contains the consoles and SCIP-exact certificates from our exeriments - ddcolors_flow_extraction.zip contains the C++ source code to compute exact decision diagrams for graph coloring.