Function main

examples/sudoku.cpp:400–460

using double_sec = std::chrono::duration<double>;

int main(int argc, char *argv[])
{
  bool silent = false;

  std::vector<std::string_view> args(argv + 1, argv + argc);
  for (auto arg: args)
  {
    if (arg == "find-one")
    {
      find_one = true;
    }
    else if (arg == "verbose")
    {
      verbose = true;
    }
    else if (arg == "silent")
    {
      silent = true;
    }
    else
    {
      printf("unrecognized argument: -> %.*s", (int) arg.size(), arg.data());
    }
  }

  if (silent)
    verbose = false;

  auto one_solve = [&](unsigned short const *init_values)
  {
    auto [number, tasks, races, solve_time] = solve(stdexec::get_parallel_scheduler(), init_values);
    if (!silent)
    {
      if (find_one)
      {
        printf("Sudoku: Time for first solution using %5u tasks with %5u "
               "races: %9.6fs\n",
               tasks,
               races,
               std::chrono::duration_cast<double_sec>(solve_time).count());
      }
      else
      {
        printf("Sudoku: Time for all %6u solutions using %7u tasks: %9.6fs\n",
               number,
               tasks,
               std::chrono::duration_cast<double_sec>(solve_time).count());
      }
    }
    fflush(stdout);
  };

  for (int iv = 0; iv < 4; ++iv)
  {
    unsigned short const *init_values = all_init_values[iv];
    find_one                          = false;
    one_solve(init_values);
    find_one = true;