search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Update to 1.7 release #35

Closed 4tXJ7f closed 4 years ago