This data set contains source code and logfiles of for computing chromatic numbers of graphs based on 
exact decision diagrams.

MIT License
Copyright (c) 2024 Timo Brand, Stephan Held


There are 3 main files
 - ddruns-main.zip contains Bash scripts to download and build SCIP-exact,
   and use it to solve the integer flow programs based on the exact decision diagrams to compute the chromatic number.

   It contains a README.md with a full description how to compile ddcolors and SCIP-exact and how to replicate the runs.
 - ddcolors-flow_extraction.zip contains C++ source code to compute exact decision diagrams. For rechnical reasons a CPLEX installation is needed, which is used to write ILPs to file.
   It contains a README.md for further information
- ddruns.tar contains the logfiles and the SCIP certificate files of our experiments.