]> git.unchartedbackwaters.co.uk Git - francis/stp.git/tree
Merge current CryptoMiniSat head.
-rw-r--r-- 1114 AUTHORS
-rw-r--r-- 250 CODING_GUIDLINES
-rw-r--r-- 418 DOWNLOAD
-rw-r--r-- 1144 INSTALL
-rw-r--r-- 1325 LICENSE
-rw-r--r-- 8020 LICENSE_COMPONENTS
-rw-r--r-- 1385 README
-rwxr-xr-x 86 clean-install.sh
drwxr-xr-x - papers
drwxr-xr-x - scripts
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - unit_test