search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Update mathsat to 5.6.10 #30

Closed lou1306 closed 9 months ago