title: Has anyone seen a 2-Sat implementation
body: <p>I have been looking for a while, but I just can't seem to find any implementation of the 2-Sat algorithm.</p>
  
  <p>I am working in c++ with the boost library (which has a <a href="http://www.boost.org/doc/libs/1_40_0/libs/graph/doc/strong_components.html" rel="nofollow noreferrer">strongly connected component module</a>) and need some guidance to either create an efficient 2-Sat program or find an existing library for me to utilise through c++.</p>