title: Complete Graph k-Coloring Solver
body: <p>I am looking for a complete CSP solver, meaning it will always find a solution if it exists and will tell you if no solution exists. A solver that is optimized for graph coloring is preferred, but not necessary. There are many iterative algorithms/solvers out there but I require a completeness(?) for my work. </p>
  
  <p>I have implemented my own solver using the Weak-Commitment Search algorithm but I'm sure there are many optimizations and thread-based features that could make for a much faster solver and allow me to increase the number of variables I can use in my simulation. I realize it's an exponentially difficult problem, but every little bit will help!</p>