Add pruning_threshold option to allow forced tree pruning when
[pachi.git] / playout / 
tree518879708e1d14977ac2f95248939b35f834bd8d
drwxr-xr-x   ..
-rw-r--r-- 162 Makefile
-rw-r--r-- 16370 elo.c
-rw-r--r-- 414 elo.h
-rw-r--r-- 601 light.c
-rw-r--r-- 176 light.h
-rw-r--r-- 25309 moggy.c
-rw-r--r-- 223 moggy.h