Add Mini2SAT(only CDCL is implemented)