CirQit2proofsUnder10m.tar - File Properties
| FTP Site: | ftp.cse.ucsc.edu |
| Description: | University of California, Santa Cruz |
| Country: | United States |
| Directory: | /pub/avg |
| File Name: | CirQit2proofsUnder10m.tar |
| File Size: | 352.22 MB (369,326,080 Bytes) |
| Modified: | 02/Jul/2013 |
