*▍*walksat find a satisfying model of a cnf formula

walksat specifications walksat attempts to find a satisfying model of a cnf formula. Format is .cnf format: c Optional comments at start of file. c The "p" line specifies cnf format, number vars, number clauses c Variables are numbered starting at 1 c Each clause ends with 0 p cnf 3 2...

Algorithm C