main
Entry point running the N-Queens benchmark first with the concurrent solver, then with the classic solver, printing the elapsed time of each run to standard output so the two engines can be compared directly for the same theory and query.
Entry point running the N-Queens benchmark first with the concurrent solver, then with the classic solver, printing the elapsed time of each run to standard output so the two engines can be compared directly for the same theory and query.