Merge 95e46d0 into 00392bb

ujh · Dec 1, 2015 · afb9b8e · afb9b8e
2 parents 00392bb + 95e46d0
commit afb9b8e
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/misc/clop/tree-runner b/misc/clop/tree-runner
@@ -0,0 +1,3 @@
+#!/bin/bash -l
+
+./runner tree "$@"
diff --git a/misc/clop/tree.clop b/misc/clop/tree.clop
@@ -0,0 +1,10 @@
+# Use for the naming of the .log and .dat files
+Name tree
+Processor main
+Script ./tree-runner
+Replications 1
+
+# [tree]
+LinearParameter tree.end_of_game_cutoff 0.0 0.1
+IntegerParameter tree.expand_after 0 50
+LinearParameter tree.rave_equiv 0.0 10000.0