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