Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/puzzles/truth.lies

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 01 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] knightknave.clauses  1.24Kb  March 24 1990
[ ] knightknave.desc  422.00b  March 24 1990
[ ] knightknave.in  1.39Kb  March 24 1990
[ ] knightknave.out  7.42Kb  March 24 1990
[ ] mars_venus2.clauses  1.61Kb  March 24 1990
[ ] mars_venus2.desc  687.00b  March 24 1990
[ ] mars_venus2.in  1.77Kb  March 24 1990
[ ] mars_venus2.out  15.78Kb  March 24 1990
[ ] mars_venus.clauses  1.53Kb  March 24 1990
[ ] mars_venus.desc  723.00b  March 24 1990
[ ] mars_venus.in  1.69Kb  March 24 1990
[ ] mars_venus.out  9.57Kb  March 24 1990
[ ] oona.clauses  1.13Kb  March 24 1990
[ ] oona.desc  933.00b  March 24 1990
[ ] oona.in  1.22Kb  March 24 1990
[ ] oona.out  5.78Kb  March 24 1990
[ ] README  2.35Kb  March 24 1990
[ ] tandl27.desc  1.01Kb  March 24 1990
[ ] tandl27.ver1.clauses  1.56Kb  March 24 1990
[ ] tandl27.ver1.in  1.65Kb  March 24 1990
[ ] tandl27.ver1.out  8.30Kb  March 24 1990
[ ] tandl31.desc  832.00b  March 24 1990
[ ] tandl31.ver1.clauses  2.72Kb  March 24 1990
[ ] tandl31.ver1.in  2.78Kb  March 24 1990
[ ] tandl31.ver1.out  6.82Kb  March 24 1990
[ ] tandl35.desc  854.00b  March 24 1990
[ ] tandl35.ver1.clauses  2.38Kb  March 24 1990
[ ] tandl35.ver1.in  2.47Kb  March 24 1990
[ ] tandl35.ver1.out  19.73Kb  March 24 1990
[ ] tandl39.desc  850.00b  March 24 1990

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 01 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->