search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Update to CVC4 1.8 #48

Closed 4tXJ7f closed 3 years ago