Walksat application implementation for USC CS561