Command-line tool

ltl2ba

brew/ltl2ba

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Translate LTL formulae to Buchi automata

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install ltl2ba

Linux

brew install ltl2ba

Browse

• Translation

Related command-line tools

• Golly
  Explore Conway's Game of Life and other types of cellular automata
• depqbf
  Solver for quantified boolean formulae (QBF)
• brew-gem
  Install RubyGems as Homebrew formulae
• spot
  Platform for LTL and ω-automata manipulation
• translate-shell
  Command-line translator using Google Translate and more
• crow-translate
  A simple and lightweight translator that allows to translate and speak text.
• doc-html-translate
  doc-html-translate (Windows package; no description in the winget index) markdown windows cli pdf ocr html reader…
• Pot
  Software for text translation and recognition translate tauri translation pot pot-app

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents