don't crash too often
-rw-r--r-- 357 INSTALL
-rw-r--r-- 148 Makefile.am
-rw-r--r-- 703 README
-rwxr-xr-x 297 bootstrap
-rw-r--r-- 3462 configure.in
-rw-r--r-- 136 libsatsolver.changes
-rw-r--r-- 1065 libsatsolver.spec
drwxr-xr-x - src
drwxr-xr-x - tools