SRI's Computer Science Laboratory Homebrew Tap This is the Homebrew Tap of SRI International's Computer Science Laboratory. cudd brew install SRI-CSL/sri-csl/cudd libpoly brew install SRI-CSL/sri-csl/libpoly yices2 brew install SRI-CSL/sri-csl/yices2 Maintained by @ianamason.