modify default solver parametersmaster
[cl-cudd.git] / distr / 
tree28a7d8152c9370e29bd80e494029699c4a2d22f3
drwxr-xr-x   ..
-rw-r--r-- 1510 LICENSE
-rw-r--r-- 11271 Makefile
-rw-r--r-- 6522 README
-rw-r--r-- 1451 RELEASE.NOTES
drwxr-xr-x - cudd
drwxr-xr-x - dddmp
drwxr-xr-x - epd
drwxr-xr-x - mnemosyne
drwxr-xr-x - mtr
drwxr-xr-x - nanotrav
drwxr-xr-x - obj
-rwxr-xr-x 372 setup.sh
-rwxr-xr-x 35 shutdown.sh
drwxr-xr-x - sis
drwxr-xr-x - st
drwxr-xr-x - util