Index of /~lm30/RSynth/CUDD/dddmp/exp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]0.add 2016-05-28 22:31 254  
[ ]0.bdd 2016-05-28 22:31 228  
[ ]0or1.bdd 2016-05-28 22:31 2.2K 
[ ]1.add 2016-05-28 22:31 727  
[ ]1.bdd 2016-05-28 22:31 1.7K 
[ ]2.bdd 2016-05-28 22:31 1.9K 
[ ]2and3.bdd 2016-05-28 22:31 1.6K 
[ ]3.bdd 2016-05-28 22:31 4.9K 
[ ]4.bdd 2016-05-28 22:31 1.0K 
[ ]4.bdd.bis1 2016-05-28 22:31 2.0K 
[ ]4.bdd.bis2 2016-05-28 22:31 2.0K 
[ ]4.bdd.bis3 2016-05-28 22:31 2.0K 
[ ]4.bdd.bis4 2016-05-28 22:31 2.0K 
[TXT]4.cnf 2016-05-28 22:31 2.1K 
[TXT]4.cnf.bis 2016-05-28 22:31 3.1K 
[TXT]4.max1 2016-05-28 22:31 4.1K 
[TXT]4.max2 2016-05-28 22:31 4.1K 
[ ]4bis.bdd 2016-05-28 22:31 556  
[ ]4xor5.bdd 2016-05-28 22:31 2.3K 
[ ]5.bdd 2016-05-28 22:31 452  
[TXT]composeids.txt 2016-05-28 22:31 75  
[ ]one.bdd 2016-05-28 22:31 125  
[ ]runAllTest.out 2016-05-28 22:31 28K 
[ ]runAllTest.script 2016-05-28 22:31 142  
[ ]s27RP1.bdd 2016-05-28 22:31 190  
[ ]s27deltaDddmp1.bdd 2016-05-28 22:31 402  
[ ]s27deltaDddmp1.bdd.bis 2016-05-28 22:31 447  
[ ]s27deltaDddmp2.bdd 2016-05-28 22:31 459  
[ ]test1.out 2016-05-28 22:31 3.0K 
[ ]test1.script 2016-05-28 22:31 542  
[ ]test2.out 2016-05-28 22:31 1.1K 
[ ]test2.script 2016-05-28 22:31 739  
[ ]test3.out 2016-05-28 22:31 1.4K 
[ ]test3.script 2016-05-28 22:31 863  
[ ]test4.out 2016-05-28 22:31 1.4K 
[ ]test4.script 2016-05-28 22:31 942  
[ ]test5.out 2016-05-28 22:31 1.4K 
[TXT]test5.script 2016-05-28 22:31 783  
[ ]test6.out 2016-05-28 22:31 4.1K 
[ ]test6.script 2016-05-28 22:31 1.0K 
[ ]test7.out 2016-05-28 22:31 16K 
[ ]test7.script 2016-05-28 22:31 2.3K 
[ ]varauxids.ord 2016-05-28 22:31 195  
[ ]varnames.ord 2016-05-28 22:31 241  
[ ]zero.bdd 2016-05-28 22:31 139