Add pruning_threshold option to allow forced tree pruning when
[pachi/t.git] / tactics / 
tree10040fe43d91de80643ae3ccdf4501a2ff31c43a
drwxr-xr-x   ..
-rw-r--r-- 4335 1lib.c
-rw-r--r-- 569 1lib.h
-rw-r--r-- 175 Makefile
-rw-r--r-- 6011 ladder.c
-rw-r--r-- 1362 ladder.h
-rw-r--r-- 10807 selfatari.c
-rw-r--r-- 881 selfatari.h
-rw-r--r-- 3053 util.c
-rw-r--r-- 2596 util.h