By impadmin, March 28, 2017 Posted in: Brew Install mac

ltl2ba Package Installation on Mac

About abcde : Translate LTL formulae to Buchi automata!
More Information: https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
Steps:

  1. Launch Terminal by pressing command+space, type terminal and hit Enter key.
  2. Run 
    ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null
  3. Install 
    brew install ltl2ba

Done!