Update cvc5 to 1.0.1 - Githubissues

mht208 / homebrew-formal

Homebrew formulae for formal methods

37 stars 10 forks source link

Closed lou1306 closed 2 years ago

lou1306 commented 2 years ago

The formula downloads the appropriate (Intel or M1) binary for the user's architecture
I also removed most issues pointed out by "brew audit"