-
makaimann authored
* 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 ...
This project is licensed under the BSD 3-Clause "New" or "Revised" License.
Learn more