Add parser for cse 573 format, fix bug in proprocessing where literals were only replaced once but they appeared more than once in the given problem
Implement walksat, run everything in the same process if only one is requested