Index of /cs359a/SATPROBLEMS

 Name                    Last modified       Size  Description

 Parent Directory        25-May-2001 10:18      -  
 SAT15                   25-Apr-2001 15:52   129k  
 prob001-log-easy.cnf    24-Apr-2001 17:31    33k  
 prob002-rocket-a.cnf    24-Apr-2001 17:31   288k  
 prob003-rocket-b.cnf    24-Apr-2001 17:31   347k  
 prob004-log-a.cnf       24-Apr-2001 17:31   236k  
 prob005-log-b.cnf       24-Apr-2001 17:31   348k  
 prob006-log-c.cnf       24-Apr-2001 17:32   607k  
 prob007-log-d.cnf       24-Apr-2001 17:32   1.6M  
 puz-easy.cnf            25-Apr-2001 15:54   174k  
 puz.cpp                 25-Apr-2001 15:51    10k  
 puz1.cnf                25-Apr-2001 15:55   994k  
 puz2.cnf                25-Apr-2001 15:55   994k  
 puz3.cnf                25-Apr-2001 15:55   6.9M  
 puz4.cnf                25-Apr-2001 15:55   994k  
 puz5.cnf                25-Apr-2001 15:55   6.9M  
 puz6.cnf                25-Apr-2001 15:55   994k  
 puz7.cnf                25-Apr-2001 15:55   6.9M  
 puz8.cnf                25-Apr-2001 15:55  11.9M  
 puzscript               25-Apr-2001 15:53     1k