]> gitweb.michael.orlitzky.com - dunshire.git/tree - test/
Add tests for the "translated" and "negated" games (from a few corollaries).
[dunshire.git] / test /
drwxr-xr-x   ..
-rw-r--r-- 658 suite.py