Implemented TopSort with Implication Graph. Added stub for CDCL Solver

WHAT IS THIS I REALLY DONT KNOW