Index of /pub/challenge/sat/contributed/selman

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]mwff.c1992-11-30 13:05 12K 
[   ]hsat.ps1992-11-30 13:05 157K 
[   ]gsat.ps1992-11-30 13:05 138K 
[   ]README.wff1992-11-30 13:05 1.4K 
[   ]README.cnf.BAK1993-07-30 10:05 891  
[   ]README.cnf1993-07-30 11:41 950  
[   ]README1992-11-30 13:05 542  
[   ]Makefile1992-11-30 13:05 86  

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