caskroom/homebrew-cask — pull request #7976 by ndr-qef (2014-12-10 16:00:18+00:00)
Title: Add CVC4, version 1.4

Their versioning and package naming scheme is somewhat unclear. However, I have not encountered any issue with the Mavericks package on Yosemite.