brew "bison"
brew "cmake"
brew "eigen"
brew "flex"
brew "swig"
brew "tcl-tk@8"
tap "mht208/formal"
brew "mht208/formal/cudd"