Finished SAT_Evaluation, starting the parallel version.
Finished Parallel_SAT_Evaluation. Mostly just added pmaps
Found bug, well not really a bug. I forgot about the :not thing.
Implemented that functionality for both parallel and non-parallel
versions of SAT-Evaluation