This is an algorithm in which I am trying to solve the 2-SAT problem using local search. However, I seem to be getting a segmentation fault : 11. The problem starts from the main code after This is an algorithm in which I am trying to so
This is an algorithm in which I am trying to solve the 2-SAT problem using local search. However, I seem to be getting a segmentation fault : 11. The problem starts from the main code after This is an algorithm in which I am trying to so