Homebrew catalog

Formula

ltl2ba

Translate LTL formulae to Buchi automata

View on formulae.brew.sh

Version: 1.3
License: GPL-2.0-or-later
Homepage: https://lsv.ens-paris-saclay.fr/~gastin/ltl2ba/

brew install ltl2ba

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing