Index of /pub/challenge/satisfiability/contributed/iwama

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Iwama.tar1993-10-07 10:13 592K 
[   ]README1993-08-22 10:10 1.1K 
[   ]README.instances1993-11-28 09:48 1.9K 
[   ]README.iwama1993-10-07 10:14 1.1K 
[TXT]iwama_prog.sh1993-08-22 10:00 23K 

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