Started CDCL implementation