A solver using SAT solver to solve graph coloring problem
If your computer doesn't have "zlib.h", install the package by typing
sudo apt-get install libz-dev
just simply run the script
./Run.all
output CNF files for specified graph-coloring problems, Usage:
./Colortest <#nodes> <#colors> <conductivity>[-Cnf]
Examples:
./Colortest 50 7 0.5-Cnf
./Colortest 65 8 0.7-c
solving SAT problems by using CNF files, Usage:
./minisat <CNF files> <result file>
Examples:
./minisat 50_7_CNF result.log
./minisat 65_8_CNF result.log
translate the message from minisat to Graph-coloring problem, Usage:
./decoder <CNF files> <result file>
Exapmles:
./decoder 50_7_CNF result.log
./decoder 65_8_CNF result.log