SRI's Computer Science Laboratory Homebrew Tap

This is the Homebrew Tap of SRI International's Computer Science Laboratory.

brew install SRI-CSL/sri-csl/cudd

 brew install SRI-CSL/sri-csl/libpoly

 brew install SRI-CSL/sri-csl/yices2

Maintained by @ianamason.

Name		Name	Last commit message	Last commit date
Latest commit History 79 Commits
Formula		Formula
README.md		README.md

Provide feedback