[LRAT] signature robust against duplicate literals (#2743)
-rw-r--r-- 391 .clang-format
-rw-r--r-- 156 .gitignore
-rw-r--r-- 1517 .mailmap
-rw-r--r-- 3043 .travis.yml
-rw-r--r-- 1999 AUTHORS
-rw-r--r-- 19982 CMakeLists.txt
-rw-r--r-- 5913 COPYING
-rw-r--r-- 14486 INSTALL.md
-rw-r--r-- 7374 NEWS
-rw-r--r-- 4720 README
-rw-r--r-- 6581 RELEASE-NOTES
-rw-r--r-- 1495 THANKS
drwxr-xr-x - cmake
-rwxr-xr-x 13504 configure.sh
drwxr-xr-x - contrib
-rw-r--r-- 2059 cvc4autoconfig.h.in
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - licenses
drwxr-xr-x - proofs
drwxr-xr-x - src
drwxr-xr-x - test