Enable parallelization in AI searcher.

Author: gsvgit

VSharp.Explorer/AISearcher.fs

@@ -149,8 +149,10 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingOptions: Option<AIAgentT
         let numOfStateAttributes = 7
         let numOfHistoryEdgeAttributes = 2
         let createOracle (pathToONNX: string) =
-            let session = new InferenceSession(pathToONNX)
-            let runOptions = new RunOptions()
+            let sessionOptions = new SessionOptions()
+            sessionOptions.ExecutionMode <- ExecutionMode.ORT_PARALLEL
+            sessionOptions.GraphOptimizationLevel <- GraphOptimizationLevel.ORT_ENABLE_ALL
+            let session = new InferenceSession(pathToONNX, sessionOptions)
             let feedback (x:Feedback) = ()            
             let predict (gameState:GameState) =
                 let stateIds = Dictionary<uint<stateId>,int>()