https://github.com/sri-csl/homebrew-sri-csl

SRI International's Tap
https://github.com/sri-csl/homebrew-sri-csl

homebrew package-management

Last synced: about 2 months ago
JSON representation

SRI International's Tap

• Host: GitHub
• URL: https://github.com/sri-csl/homebrew-sri-csl
• Owner: SRI-CSL
• Created: 2017-10-02T20:50:37.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2024-06-24T08:32:09.000Z (6 months ago)
• Last Synced: 2024-06-24T09:52:58.974Z (6 months ago)
• Topics: homebrew, package-management
• Language: Ruby
• Size: 44.9 KB
• Stars: 6
• Watchers: 20
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 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.