C++ implementation of 2sat.
Finished homework 6.