Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver - View it on GitHub