* Rename files and rename smt-switch classes

* Replace CVC4->cvc5

* Temporarily disable tests -- focus on compiling first

* Update configure.sh and cmake

* Fix CVC5_HOME capitalization

* Require c++17

* Fix cvc5_factory

* Fixes: exception name, solver enum, remove kind hash

* Fix another BVAdd, other hashes, and link against polyxx, poly and cadical

* Search and replace in tests cvc4->cvc5

* Revert "Temporarily disable tests -- focus on compiling first"

This reverts commit 23c061fbf92a48ab587973b3847077c31ba1909d.

* More search and replace

* Update getter

* Add setup-cvc5.sh

* Set --produce-interpols only for interpolant test

* Formatting

* More cvc4->cvc5 updates

* Update python bindings for cvc5

* Use correct libpoly based on lib type

* Fix libpoly names

* Disable other tests for now

* Fix syntax

* Add btor test back in

* Try just cvc5 again

* No comments in yml file

* Another try

* Back to original

* Try downloading cvc5

* Try only running cvc5 again

* Run test-int

* Try linking poly and cadical first

* Revert "Try linking poly and cadical first"

This reverts commit fe58e046626a9719422b09e5bbbdc83b0bd2bebb.

* Trying using public linking option

* Use keyword for all

* Link against pic poly

* Revert "Trying using public linking option"

This reverts commit 9027c3f075c77a88b6896b347f79d41fa7d3550d.

* Revert "Use keyword for all"

This reverts commit 94502751a83c601fd6b4d04e6563798a2f9b23fc.

* Revert "Try only running cvc5 again"

This reverts commit f5f3c5e7137d731e8bfa9e12636a474c63dfcd72.

* Revert "Run test-int"

This reverts commit baf800bad8716a6c4b01f5ba3f8a7d190b4a64f0.

* Fix some CVC4->Cvc5

* Remove setup-cvc4.sh script

* wheels: cvc4->cvc5

* Updates in examples directory

* Final cvc4->cvc5 replacements

* Formatting