CreateGraphForParams simplification, sharpSAT hack so that it works on OSX