---
name: ltl2ba
version: 1.1
origin: math/ltl2ba
comment: Fast translation from LTL formulae to Buechi automata
arch: freebsd:9:x86:64
www: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
maintainer: bf@FreeBSD.org
prefix: /usr/local
licenselogic: single
licenses: [GPLv2]
flatsize: 71125
desc: "ltl2ba implements an algorithm of P. Gastin and D. Oddoux to generate\nBuechi
  automata from linear temporal logic (LTL) formulae.  This\nalgorithm generates a
  very weak alternating automaton and then\ntransforms it into a Buechi automaton,
  using a generalized Buechi\nautomaton as an intermediate step. Each automaton is
  simplified\non-the-fly in order to save memory and time. As usual the LTL formula\nis
  simplified before any treatment.  ltl2ba is more efficient than\nSpin 3.4.1, with
  regard to the size of the resulting automaton,\nthe time of the computation, and
  the memory used.\n\nWWW:\thttp://www.lsv.ens-cachan.fr/~gastin/ltl2ba/\n"
categories: [math]
files:
  /usr/local/bin/ltl2ba: 91b56881c7635b94022906c7f2415ed3ac81f768cc365778e2e0c4df041e5183
  /usr/local/share/licenses/ltl2ba-1.1/GPLv2: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643
  /usr/local/share/licenses/ltl2ba-1.1/LICENSE: 7e1394d03c5f275a402fe721ff1d1349449ea8602b52af954c76463afcdb6ef7
  /usr/local/share/licenses/ltl2ba-1.1/catalog.mk: 8408150a3a958a595501ebd255767ea4b4cbe93834ac55cc2af9966ef98912d3
directories:
  /usr/local/share/licenses/ltl2ba-1.1/: n
  /usr/local/share/licenses/: y
scripts:
  post-install: |
    cd /usr/local
  pre-deinstall: |
    cd /usr/local
  post-deinstall: |
    cd /usr/local
