Fernando Apesteguía 549b27dafd 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		2019-08-01 15:20:28 +00:00
..
files	math/cvc4: update to 1.7	2019-08-01 15:20:28 +00:00
distinfo	math/cvc4: update to 1.7	2019-08-01 15:20:28 +00:00
Makefile	math/cvc4: update to 1.7	2019-08-01 15:20:28 +00:00
pkg-descr
pkg-plist	math/cvc4: update to 1.7	2019-08-01 15:20:28 +00:00