current state of 'sat-solver'
-rw-r--r-- 357 INSTALL
-rw-r--r-- 144 Makefile.am
-rw-r--r-- 703 README
-rwxr-xr-x 297 bootstrap
-rw-r--r-- 3384 configure.in
drwxr-xr-x - src
drwxr-xr-x - tools