Add dimacs encoding to V_point