Fix automatic .so loading and add Makefile
treef3916a27f16a193565ac3f490c287d0abe848b87
-rw-r--r-- 64 .gitignore
-rw-r--r-- 109 Makefile
-rw-r--r-- 1352 asdf-component-shared-unix-library.asd
-rw-r--r-- 16523 cudd-cffi.i
-rw-r--r-- 2091 cudd.asd
-rw-r--r-- 8800 cuddsat.lisp
drwxr-xr-x - distr