Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
[pachi.git] / uct / 
treeda603c0e089c55d297adb76ce62d0c39df6d98b1
drwxr-xr-x   ..
-rw-r--r-- 170 Makefile
-rw-r--r-- 11724 dynkomi.c
-rw-r--r-- 1921 dynkomi.h
-rw-r--r-- 3686 internal.h
drwxr-xr-x - policy
-rw-r--r-- 6310 prior.c
-rw-r--r-- 1187 prior.h
-rw-r--r-- 28134 tree.c
-rw-r--r-- 6292 tree.h
-rw-r--r-- 45045 uct.c
-rw-r--r-- 352 uct.h
-rw-r--r-- 15990 walk.c
-rw-r--r-- 380 walk.h