This repository provides custom Homebrew Tap for some of my works.
- toysolver - Solvers for SAT, SMT, Max-SAT, PB, MIP, etc. developed by me. (Github, Hackage)
- liblbfgsb - L-BFGS-B library for large-scale bound-constrained optimization, packaged by me for convinience of use Haskell's l-bfgs-b pacakge (Hackage).
brew install msakai/tap/<formula>
Or brew tap msakai/tap
and then brew install <formula>
.
brew help
, man brew
or check Homebrew's documentation.