search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Switch to CMake build #17

Closed 4tXJ7f closed 6 years ago

4tXJ7f commented 6 years ago

Fixed in #18.