GitHub repository: CVC4/homebrew-cvc4
Primary language: Ruby
Created: 2017-09-15T22:58:35Z
Description: Homebrew formula for CVC4