removed full_knight tour
Removed warning
removed segfault in boolean solver (increasing stack size)
changed the help in the boolean solver
renamed columne column
removed some debug
fixed some spelling mistackes
switched knight tour help with knight tour bool
renamed function