fix add-formula to drop :AND and :OR-symbols before adding clauses
tree3ab991e00ca2d2f109aca03a54a98fe27f27138a
-rw-r--r-- 16 .gitignore
-rw-r--r-- 60 Makefile
-rw-r--r-- 1352 asdf-component-shared-unix-library.asd
-rw-r--r-- 3316 backend.lisp
drwxr-xr-x - backends
-rw-r--r-- 3596 dimacs.lisp
-rw-r--r-- 2263 package.lisp
-rw-r--r-- 2463 satwrap.asd
-rw-r--r-- 18116 satwrap.lisp