Add command-line options: unflatten, splitting, solver