modify default solver parametersmaster
treeb37bc7219ed2cbe9de5dca5410d15c5d5f1d32f6
-rw-r--r-- 125 .gitignore
-rw-r--r-- 7651 LICENSE.LGPL.txt
-rw-r--r-- 4000 LICENSE.Lisp-LGPL-Preface
-rw-r--r-- 109 Makefile
-rw-r--r-- 489 README
-rw-r--r-- 1352 asdf-component-shared-unix-library.asd
-rw-r--r-- 15587 cudd-cffi.i
-rw-r--r-- 2131 cudd.asd
-rw-r--r-- 9328 cuddsat.lisp
drwxr-xr-x - distr
-rw-r--r-- 2120 package.lisp