Few fixes. Sat Solver is working.
Added some documentation.
Correct indentation.