Converts GRAPHISO and PSL problem instances into SAT (CNF)