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...

Intel Threading Building Blocks

Intel recently updated its Threading Library (TBB) to version 2.2. Now, the concurrent data types use iterators as return types. As I tried to find good and useful documentation and source code examples literally the whole day, I'd like to share this info.

I found some general Visual Studio Projects in C++ and C# outlining some of the capabilities of TBB. The guys at Aeshen provide small, but realistic scenarios for their example projects. Some more examples are contained in the stable release packages. In contrast to that, the official TBB site is full of...well, let's call it "generic information" - except for the Reference Guide which lists all template functions and signatures.