search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Update mathsat to 5.6.11 #32

Closed lou1306 closed 2 months ago

lou1306 commented 3 months ago

This new formula also fixes the setup of Python and Java bindings. To do so, it now depends on python-setuptools.

lou1306 commented 2 months ago

Fixed some issues in the original formula. Now the formula passes brew audit and all references to libmathsat.dylib within other libraries/binaries have been fixed.

lou1306 commented 2 months ago

Sorry, I just realized I mistakenly created this PR from master rather than a feature branch. Will close this PR and open a new one.