search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Fix detected Python version #43

Closed 4tXJ7f closed 3 years ago