search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Fix branch #57

Closed 4tXJ7f closed 3 years ago