brew "bison"
brew "cmake"
brew "eigen"
brew "flex"
brew "googletest"
brew "swig"
brew "tcl-tk@8"
tap "mht208/formal"
brew "mht208/formal/cudd", trusted: true