adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)

(cherry-picked from commit 206edb6f11674e954f5762a1db9712131151a276)
Merge branch '1.0.x'
Ignore unknown term annotations (giving a warning).  Resolves bug 479.
Merge branch '1.0.x' (getting fix for bug 479)
SMT-LIB compliance fix to get-assignment; resolves bug 480
Merge branch '1.0.x', getting fix for 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...
Merge pull request #2 from CVC4/1.0.x

1.0.x
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.
Merging in patch from branch '1.0.x'.
Fix printing of EXISTS in CVC language printer
Fix bug 483: readline checks must come after Boost checks in configure
Fix printing of EXISTS in CVC language printer
Fix bug 483: readline checks must come after Boost checks in configure
Merge branch '1.0.x'
adding copy constructor for the datatype enumerator
fixes bug 484