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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]program.prj 2006-11-14 16:04 1.7K 
[   ]program.input 2006-11-15 23:04 125  
[TXT]program.cd 2006-11-15 23:04 928  
[   ]program.beh 2006-11-14 16:39 267  
[DIR]gen/ 2006-11-15 23:04 -  
[   ]UNSATprogram.input 2006-11-15 23:05 125  
[   ]SATprogram.input 2006-11-14 16:34 36