![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | axioms.clauses | 1990-03-24 10:46 | 1.6K | |
![]() | prob1.ver1.clauses | 1990-03-24 10:46 | 1.3K | |
![]() | prob2.desc | 1990-03-24 10:46 | 640 | |
![]() | prob1.ver1.out | 1990-03-24 10:46 | 68K | |
![]() | prob1.ver2.clauses | 1990-03-24 10:46 | 2.0K | |
![]() | prob2.ver1.clauses | 1990-03-24 10:46 | 1.2K | |
![]() | prob1.ver2.out | 1990-03-24 10:46 | 69K | |
![]() | README | 1990-03-24 10:46 | 1.9K | |
![]() | prob1.desc | 1990-03-24 10:46 | 1.1K | |
![]() | prob1.ver1.in | 1990-03-24 10:46 | 1.3K | |
![]() | prob2.ver1.out | 1990-03-24 10:46 | 68K | |
![]() | prob1.ver2.in | 1990-03-24 10:46 | 2.1K | |
![]() | prob2.ver1.in | 1990-03-24 10:46 | 1.3K | |