Index of /pub/challenge/satisfiability/contributed/barth

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dp02.tar1993-07-05 13:55 152K 
[   ]dp.tar1993-05-09 11:19 96K 
[   ]README.dp021993-06-09 09:10 5.1K 
[   ]README.dp1993-05-09 11:19 2.3K 

Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80