run

Builds a solver (see getSolver) and, if no subcommand was invoked on the command line, starts the interactive read-eval-print loop with it. When a subcommand (e.g. solve) was invoked instead, clikt dispatches to that subcommand's own run after this method returns, reusing the solver built here through getSolver/getTimeout.