Merge branch 'v1.2.9' into master

.gitignore

@@ -5,3 +5,5 @@
 /.project
 /.README.md.html
 *.iml
+/ludii.trl
+/ludii_preferences.json

README.md

@@ -149,6 +149,7 @@ Alternatively, the following email address may be used: `ludii(dot)games(at)gmai
 
 ## Changelog
 
+- 14 September, 2021: Updated repository for new version 1.2.9 of Ludii.
 - 23 April, 2021: Updated repository for compatibility with new version 1.1.17 of Ludii.
 - 12 February, 2021: Updated repository for compatibility with new version 1.1.14 of Ludii.
 - 2 November, 2020: Updated repository for compatibility with new version 1.1.0 of Ludii.

src/main/LaunchLudii.java

@@ -0,0 +1,33 @@
+package main;
+
+import app.StartDesktopApp;
+import manager.ai.AIRegistry;
+import mcts.ExampleDUCT;
+import mcts.ExampleUCT;
+import random.RandomAI;
+
+/**
+ * The main method of this launches the Ludii application with its GUI, and registers
+ * the example AIs from this project such that they are available inside the GUI.
+ *
+ * @author Dennis Soemers
+ */
+public class LaunchLudii
+{
+
+	/**
+	 * The main method
+	 * @param args
+	 */
+	public static void main(final String[] args)
+	{
+		// Register our example AIs
+		AIRegistry.registerAI("Example Random AI", () -> {return new RandomAI();}, (game) -> {return true;});
+		AIRegistry.registerAI("Example UCT", () -> {return new ExampleUCT();}, (game) -> {return new ExampleUCT().supportsGame(game);});
+		AIRegistry.registerAI("Example DUCT", () -> {return new ExampleDUCT();}, (game) -> {return new ExampleDUCT().supportsGame(game);});
+
+		// Run Ludii
+		StartDesktopApp.main(new String[0]);
+	}
+
+}