Version updates for cvc4 (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/cvc4/#1.4_1https://pkgstory.dev/homebrew-formula/cvc4/#1.4_1cvc4 updated to 1.4_1Mon, 02 Nov 2015 05:54:47 GMThttps://pkgstory.dev/homebrew-formula/cvc4/#1.4https://pkgstory.dev/homebrew-formula/cvc4/#1.4cvc4 updated to 1.4Fri, 27 Mar 2015 09:47:04 GMT