search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

Update cvc4 download path #16

Open usr-sse2 opened 7 years ago

usr-sse2 commented 7 years ago

The old one is no more valid