Index of /pub/challenge/satisfiability/contributed/dubois

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]A-sat.c1993-11-28 10:12 6.7K 
[   ]Asat1993-02-03 10:19 40K 
[   ]Asat.uu1993-02-03 10:19 55K 
[   ]C-SAT1993-10-07 10:08 64K 
[   ]INDEX1993-03-18 10:57 674  
[   ]README1993-06-16 10:08 1.3K 
[   ]README.asat1993-11-28 10:12 223  
[   ]README.c-sat1993-10-07 10:52 2.7K 
[TXT]dubois.tex1993-03-14 09:25 14K 
[TXT]gensat.c1993-02-03 10:19 3.4K 
[TXT]gensathard.c1993-06-16 10:07 2.3K 
[   ]in.dat1993-02-03 10:19 139  

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