Index of /pub/challenge/satisfiability/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