Index of /~tcs/ls/sat

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]contradiction.txt 2010-12-06 10:52 296  
[TXT]oefen.txt 2010-12-06 10:52 71  
[   ]org.sat4j.core.jar 2010-12-06 02:15 161K 
[TXT]roof1-alt.txt 2010-12-06 10:52 330  
[TXT]roof1-cnf.txt 2010-12-06 10:52 253  
[TXT]roof2-A.txt 2010-12-06 10:52 426  
[TXT]roof2-B.txt 2010-12-06 10:52 456  
[TXT]roof2.txt 2010-12-06 10:52 212  
[   ]sat4j.jar 2010-12-06 10:28 161K 
[TXT]test.txt 2010-12-06 10:52 118  
[DIR]vertaler/ 2010-12-07 15:34 -