Logic 2 cnf now eats the clauses and produces an result - now the result needs a) to be parsed and shown as a Hidoku b) the possible lists need to be used. To run the code:  g++ -std=c++11 -w main.cpp && ./a.out | ./logic2cnf -j1