/// <summary>
/// The entry method of the application.
/// </summary>
/// <param name="customConfigurationFilePaths"><inheritdoc cref="Application.Run(string[], Func{IKernel, JsonConfiguration, Task})"/></param>
public static async Task Main(string[] customConfigurationFilePaths) => await Application.Run(customConfigurationFilePaths, async (kernel, settings) =>
{
// Initialize the container
await PrepareDIContainer(kernel, settings);
#region Clear best theorem folders
// Clear JSON best theorem folder
IOUtilities.ClearDirectoryIfItExists(settings.GetSettings <ProblemGenerationRunnerSettings>().JsonBestTheoremFolder);
// Clear Readable best theorem folder
IOUtilities.ClearDirectoryIfItExists(settings.GetSettings <ProblemGenerationRunnerSettings>().ReadableBestTheoremFolder);
#endregion
// Run the algorithm
await kernel.Get <IBatchRunner>().FindAllInputFilesAndRunProblemGenerationAsync();
});