mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

Update mathsat formula to 5.6.8 #24

Closed lou1306 closed 2 years ago

lou1306 commented 2 years ago

This PR updates the version of Mathsat to 5.6.8. It is a universal binary.

Please notice that running mathsat -version will report version 5.6.7:

MathSAT5 version 5.6.7 (27814677e16f) (Jun 29 2022 21:04:54, gmp 6.2.1, clang/LLVM 13.0, 64-bit)

To the best of my knowledge, this is a mistake by the developers (the actual 5.6.7 was released in April 2022).