_:neb80f4aa37a2474092b52983ab38d44dxb0
<http://schema.org/description>
"We are pleased to announce the first public release of CVC4, version 1.0, the open-source flagship SMT solver developed at New York University and the University of Iowa, available at http://cvc4.cs.nyu.edu."
<https://cvc4.github.io/2012/12/03/announcing-the-release-of-cvc4.html>