Index of /cs359a/SATPROBLEMS

      Name                    Last modified       Size  Description

[DIR] 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

Apache/1.3.27 Server at chicory.Stanford.EDU Port 80