use "nqueens.sml";
(
  TextIO.print "\nQueens.solve: 1\n";
  print_solution (Queens.solve 1);
  TextIO.print "\nQueens.solve: 2\n";
  print_solution (Queens.solve 2);
  TextIO.print "\nQueens.solve: 3\n";
  print_solution (Queens.solve 3);
  TextIO.print "\nQueens.solve: 4\n";
  print_solution (Queens.solve 4);
  TextIO.print "\nQueens.solve: 5\n";
  print_solution (Queens.solve 5);
  TextIO.print "\nQueens.solve: 6\n";
  print_solution (Queens.solve 6);
  TextIO.print "\nQueens.solve: 7\n";
  print_solution (Queens.solve 7);
  TextIO.print "\nQueens.solve_all: 4\n";
  print_all_solutions (Queens.solve_all 4);
  TextIO.print "\nQueens.solve_all: 5\n";
  print_all_solutions (Queens.solve_all 5)
)