Merge branch 'dist' into derm
[pachi.git] / uct / 
tree9483018fc77193eca72f1ac4f610f3ab8d65ca12
drwxr-xr-x   ..
-rw-r--r-- 170 Makefile
-rw-r--r-- 12737 dynkomi.c
-rw-r--r-- 2212 dynkomi.h
-rw-r--r-- 3945 internal.h
drwxr-xr-x - policy
-rw-r--r-- 6310 prior.c
-rw-r--r-- 1187 prior.h
-rw-r--r-- 28150 tree.c
-rw-r--r-- 5956 tree.h
-rw-r--r-- 49593 uct.c
-rw-r--r-- 352 uct.h
-rw-r--r-- 16048 walk.c
-rw-r--r-- 380 walk.h