2025-03-29 16:48:20 +01:00
|
|
|
brew "bison"
|
|
|
|
|
brew "cmake"
|
|
|
|
|
brew "eigen"
|
|
|
|
|
brew "flex"
|
2026-07-25 13:43:45 +02:00
|
|
|
brew "googletest"
|
2025-03-29 16:48:20 +01:00
|
|
|
brew "swig"
|
|
|
|
|
brew "tcl-tk@8"
|
|
|
|
|
|
|
|
|
|
tap "mht208/formal"
|
2026-07-12 07:22:43 +02:00
|
|
|
brew "mht208/formal/cudd", trusted: true
|
