Allow assumptions to be lists or vectors in backend
[cl-satwrap.git] / backends / minisat / 
tree9c137852684f43a9447f9ea089398d1f06787e2d
drwxr-xr-x   ..
-rw-r--r-- 214 .gitignore
-rw-r--r-- 0 AUTHORS
lrwxrwxrwx 32 COPYING -> /usr/share/automake-1.10/COPYING
-rw-r--r-- 0 ChangeLog
lrwxrwxrwx 32 INSTALL -> /usr/share/automake-1.10/INSTALL
-rw-r--r-- 1089 LICENSE
-rw-r--r-- 961 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 400 README
-rwxr-xr-x 56 autogen.sh
drwxr-xr-x - core
drwxr-xr-x - m4
-rw-r--r-- 6594 minisat-cffi.i
-rw-r--r-- 2398 minisat_wrap.cc
-rw-r--r-- 776 minisat_wrap.h
drwxr-xr-x - mtl
drwxr-xr-x - simp