]> gitweb.michael.orlitzky.com - dunshire.git/tree
Add tests for the "translated" and "negated" games (from a few corollaries).
-rw-r--r-- 849 TODO
drwxr-xr-x - doc
-rw-r--r-- 400 makefile
drwxr-xr-x - src
drwxr-xr-x - test