Added 2-Sat implementation

Added a 2-Sat implementation based on finding SCCs of a graph