caskroom/homebrew-cask — pull request #8565 by jawshooah (2014-12-31 19:59:44+00:00)
Title: Add cvc4 dependency to cryptol

Left the caveats alone, since it's still important that the CVC4 binary is in your PATH (installed to /opt/local/bin by default)