Merge from my post-smtcomp branch. Includes:
[cvc5.git] / config /
drwxr-xr-x   ..
-rw-r--r-- 135 .gitignore
-rw-r--r-- 2483 antlr.m4
-rw-r--r-- 12275 ax_prog_doxygen.m4
-rw-r--r-- 3042 ax_tls.m4
-rw-r--r-- 3727 bindings.m4
-rwxr-xr-x 1583 build-type
-rw-r--r-- 3714 cudd.m4
-rw-r--r-- 3954 cvc4.m4
-rw-r--r-- 4795 doxygen.am
-rw-r--r-- 63703 doxygen.cfg
-rwxr-xr-x 1312 mkbuilddir
-rw-r--r-- 5221 pkg.m4
-rw-r--r-- 1122 readline.m4