adding new type of solver: mcts

3 jobs for proactive-dev-sync-with-rc15 in 2 minutes and 19 seconds (queued for 9 seconds)
latest