Implement WalkSAT algorithm that solve the CNF Boolean formula
Goal Implement WalkSAT algorithm that solve the CNF Boolean formula.Implement Encoder that generate CNF notation for N-Queen for given Using both module to solve N-Queen problem. First, Wh

