Fix performance issue in a DFS search (bug 474)
(cherry picked from commit f056522a587d1b080224992355be070b73d97a3b)
Fix to portfolio builds
(cherry picked from commit f46ba71e78054af63b529eb3271952c55beba37e)
Fix bug 476: when CxxTest is not found, make the error less fatal-looking
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)

(cherry-picked from commit 206edb6f11674e954f5762a1db9712131151a276)
Ignore unknown term annotations (giving a warning).  Resolves bug 479.
SMT-LIB compliance fix to get-assignment; resolves bug 480
* fixed bug 481 by adding check for division by 0 in bit-vector division circuit
* added printing for total bit-vector division kinds for debugging purposes
Merge pull request #1 from lianah/1.0.x

* fixed bug 481 by adding check for division by 0 in bit-vector division...
Changing the rewriter to use Boute's Euclidean definition of division.
Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x
Adding unit test for different versions of division.
Fix printing of EXISTS in CVC language printer
Fix bug 483: readline checks must come after Boost checks in configure
adding copy constructor for the datatype enumerator
fixes bug 484