search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Install CVC4 with SymFPU support #19

Closed 4tXJ7f closed 6 years ago