Index of /pub/challenge/satisfiability/contributed/pretolani

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]README1993-08-22 10:24 2.5K 
[ ]pretolani.tar1993-08-22 10:23 96K 
Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80