chiark / gitweb /
graphviz, etc.: do not skip dropped nodes when generating defeats, so that they end...
-rw-r--r-- 3 .gitignore
-rwxr-xr-x 10711 compute