Add vector variant for clause-valid method
tree4e94cd31b8c41f2d2c2e98d0dad5916ad88dd636
-rw-r--r-- 16 .gitignore
-rw-r--r-- 60 Makefile
-rw-r--r-- 1352 asdf-component-shared-unix-library.asd
-rw-r--r-- 3498 backend.lisp
drwxr-xr-x - backends
-rw-r--r-- 3618 dimacs.lisp
-rw-r--r-- 2263 package.lisp
-rw-r--r-- 2463 satwrap.asd
-rw-r--r-- 18367 satwrap.lisp