Split dimacs generation from argument parsing