Index of /home/lieber/courses/csu670/f06/project

 Name                             Last modified       Size  

 Parent Directory                 17-Jan-2007 10:33      -  
 256Polynomials.BMP               17-Oct-2006 08:28   2.4M  
 CSPlang/                         09-Nov-2006 18:28      -  
 MaxSAT/                          21-Nov-2006 17:00      -  
 Polynomials_for_3_Sat.doc        21-Nov-2006 10:31    43k  
 README                           16-Nov-2006 11:17     1k  
 XMLCSP2.pdf                      03-Nov-2006 12:39   206k  
 alt-syntax/                      21-Nov-2006 17:13      -  
 example                          27-Oct-2006 11:17     2k  
 grading                          04-Dec-2006 16:17     1k  
 hitchhikers-couch-potatoes       01-Dec-2006 10:03    12k  
 interface/                       13-Nov-2006 09:36      -  
 optimized                        02-Nov-2006 13:44     2k  
 output/                          14-Nov-2006 11:43      -  
 outsourcing                      23-Oct-2006 22:37     1k  
 poster                           27-Oct-2006 13:22     2k  
 project-demos-final              30-Nov-2006 09:08     2k  
 project-desc-CSU670-v1.0.txt     20-Oct-2006 09:15    21k  
 project-desc-CSU670-v1.1.txt     16-Nov-2006 11:16    22k  
 project-desc-CSU670.txt          16-Nov-2006 15:52    22k  
 project-document.txt             27-Nov-2006 23:49     2k  
 relation/                        08-Nov-2007 14:20      -  
 size-of-search-space             26-Oct-2006 11:35     1k  
 superres-implied                 27-Nov-2006 19:12     1k  
 toCSP                            27-Oct-2006 10:09     2k  
 usage-transition-system-v1.0.txt 17-Nov-2006 10:08     2k  
 usage-transition-system-v1.1.txt 20-Nov-2006 09:28     2k  
 usage-transition-system.txt      12-Dec-2006 09:28     3k