Index of /pub/challenge/sat/contributed/gent

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX1993-02-03 10:11 1.5K 
[ ]enigma.ps1993-02-03 10:11 775K 
[ ]gensat.ps1993-02-03 10:11 332K 
Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80