First goal accomplished: "Parallel literal propagation"

As the project goal for October, I wanted to have a running version of what I call 'parallel literal propagation' which I use to fork threads on a many-core system. This may not be a giant leap for mankind and rather a small step for a man, but I am positive that my resulting parallel SAT-engine stands somewhere in between.
Would be a respectable result for a SAT-engine though...