* 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
Merge branch '1.0.x'
SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing
Fix an options-processing bug on some platforms (e.g., MacOS).
Merge branch '1.0.x'
update ANTLR URLs (antlr.org -> antlr3.org)
Merge branch '1.0.x'
fix for theory preprocessing cache on clang, perhaps others.