cnf-ssa.tar - File Properties
| FTP Site: | dimacs.rutgers.edu |
| Description: | Rutgers University |
| Country: | United States |
| Directory: | /pub/challenge/satisfiability/contributed/UCSC/instances |
| File Name: | cnf-ssa.tar |
| File Size: | 2.23 MB (2,342,912 Bytes) |
| Modified: | 12/Jul/1993 |
