Merge branch 'master' of gitorious.org:opensuse/sat-solver
-rw-r--r-- 236 .emacs-dirvars
-rw-r--r-- 64 .gitignore
-rw-r--r-- 6611 CMakeLists.txt
-rw-r--r-- 267 CTestConfig.cmake
-rw-r--r-- 345 INSTALL
-rw-r--r-- 1381 LICENSE.BSD
-rw-r--r-- 787 Makefile.cvs
-rw-r--r-- 868 README
-rw-r--r-- 1647 VERSION.cmake
drwxr-xr-x - cmake
drwxr-xr-x - examples
drwxr-xr-x - ext
drwxr-xr-x - package
drwxr-xr-x - src
drwxr-xr-x - tools