Remove unnecessary code from logConstructs.
Remove uneccessary code from sudoku and graph coloring files.
Fix sat solver for imput false().
Add sat solver tests for basic elements.
Centralize tests in automated_test directory and test.py file.
Adde new sudoku examples in sat tests.
Add code for expected error for sudoku tests and skip them.

Reason:
- possiblity of memory error,
- skipping because test take too long.