ChangeLog:
https://github.com/CVC4/CVC4/releases/tag/1.7
* New Features:
Proofs:
Support for bit-vector proofs with eager bitblasting
Strings:
Support for str.replaceall operator.
New option --re-elim
SyGuS:
Support for abduction (--sygus-abduct)
* Improvements:
Strings:
Significantly better performance
* Changes:
API change: Expr::iffExpr() is renamed to Expr::eqExpr()
Compiling the language bindings now requires SWIG 3 instead of SWIG 2.
The CVC3 compatibility layer has been removed.
The build system now uses CMake instead of Autotools
