![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 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 | 74 | |
| XMLCSP2.pdf | 03-Nov-2006 12:39 | 206K | |
| alt-syntax/ | 21-Nov-2006 17:13 | - | |
| example | 27-Oct-2006 11:17 | 1.7K | |
| grading | 04-Dec-2006 16:17 | 686 | |
| hitchhikers-couch-potatoes | 01-Dec-2006 10:03 | 12K | |
| interface/ | 13-Nov-2006 09:36 | - | |
| optimized | 02-Nov-2006 13:44 | 2.0K | |
| output/ | 14-Nov-2006 11:43 | - | |
| outsourcing | 23-Oct-2006 22:37 | 720 | |
| poster | 27-Oct-2006 13:22 | 2.0K | |
| project-demos-final | 30-Nov-2006 09:08 | 1.7K | |
| 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 | 1.5K | |
| relation/ | 08-Nov-2007 14:20 | - | |
| size-of-search-space | 26-Oct-2006 11:35 | 600 | |
| superres-implied | 27-Nov-2006 19:12 | 767 | |
| toCSP | 27-Oct-2006 10:09 | 1.6K | |
| usage-transition-system-v1.0.txt | 17-Nov-2006 10:08 | 2.1K | |
| usage-transition-system-v1.1.txt | 20-Nov-2006 09:28 | 2.1K | |
| usage-transition-system.txt | 12-Dec-2006 09:28 | 2.6K | |