Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1990-03-24 10:47 | 2.4K | ||
knightknave.clauses | 1990-03-24 10:47 | 1.2K | ||
knightknave.desc | 1990-03-24 10:47 | 422 | ||
knightknave.in | 1990-03-24 10:47 | 1.4K | ||
knightknave.out | 1990-03-24 10:47 | 7.4K | ||
mars_venus.clauses | 1990-03-24 10:47 | 1.5K | ||
mars_venus.desc | 1990-03-24 10:47 | 723 | ||
mars_venus.in | 1990-03-24 10:47 | 1.7K | ||
mars_venus.out | 1990-03-24 10:47 | 9.6K | ||
mars_venus2.clauses | 1990-03-24 10:47 | 1.6K | ||
mars_venus2.desc | 1990-03-24 10:47 | 687 | ||
mars_venus2.in | 1990-03-24 10:47 | 1.8K | ||
mars_venus2.out | 1990-03-24 10:47 | 16K | ||
oona.clauses | 1990-03-24 10:47 | 1.1K | ||
oona.desc | 1990-03-24 10:47 | 933 | ||
oona.in | 1990-03-24 10:47 | 1.2K | ||
oona.out | 1990-03-24 10:47 | 5.8K | ||
tandl.desc | 1990-03-24 10:47 | 870 | ||
tandl.ver1.clauses | 1990-03-24 10:47 | 1.3K | ||
tandl.ver1.in | 1990-03-24 10:47 | 1.3K | ||
tandl.ver1.out | 1990-03-24 10:47 | 4.2K | ||
tandl27.desc | 1990-03-24 10:47 | 1.0K | ||
tandl27.ver1.clauses | 1990-03-24 10:47 | 1.6K | ||
tandl27.ver1.in | 1990-03-24 10:47 | 1.7K | ||
tandl27.ver1.out | 1990-03-24 10:47 | 8.3K | ||
tandl31.desc | 1990-03-24 10:47 | 832 | ||
tandl31.ver1.clauses | 1990-03-24 10:47 | 2.7K | ||
tandl31.ver1.in | 1990-03-24 10:47 | 2.8K | ||
tandl31.ver1.out | 1990-03-24 10:47 | 6.8K | ||
tandl35.desc | 1990-03-24 10:47 | 854 | ||
tandl35.ver1.clauses | 1990-03-24 10:47 | 2.4K | ||
tandl35.ver1.in | 1990-03-24 10:47 | 2.5K | ||
tandl35.ver1.out | 1990-03-24 10:47 | 20K | ||
tandl39.desc | 1990-03-24 10:47 | 850 | ||
tandl39.ver1.clauses | 1990-03-24 10:47 | 2.5K | ||
tandl39.ver1.in | 1990-03-24 10:47 | 2.6K | ||
tandl39.ver1.out | 1990-03-24 10:47 | 12K | ||
tandl42.desc | 1990-03-24 10:47 | 882 | ||
tandl42.ver1.clauses | 1990-03-24 10:47 | 2.5K | ||
tandl42.ver1.in | 1990-03-24 10:47 | 2.6K | ||
tandl42.ver1.out | 1990-03-24 10:47 | 22K | ||