K 10
svn:author
V 7
fernape
K 8
svn:date
V 27
2019-08-01T15:20:28.257887Z
K 7
svn:log
V 646
math/cvc4: update to 1.7

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

END