# All Packages

- Package Summary
  Package | Description
  --- | ---
  owl.automaton | This package and its subpackages contain the infrastructure for omega automata.
  owl.automaton.acceptance |
  owl.automaton.acceptance.optimizations |
  owl.automaton.algorithms |
  owl.automaton.edge |
  owl.automaton.output |
  owl.automaton.transformations |
  owl.automaton.util |
  owl.cinterface |
  owl.collections |
  owl.factories |
  owl.factories.jbdd |
  owl.game |
  owl.game.algorithms |
  owl.game.output |
  owl.grammar |
  owl.ltl |
  owl.ltl.algorithms |
  owl.ltl.parser |
  owl.ltl.rewriter |
  owl.ltl.robust | Implements parsing of rLTL and conversion to LTL.
  owl.ltl.util |
  owl.ltl.visitors |
  owl.run | This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line.
  owl.run.modules |
  owl.run.parser |
  owl.translations |
  owl.translations.canonical |
  owl.translations.delag |
  owl.translations.dpa2safety |
  owl.translations.dra2dpa |
  owl.translations.fgx2dpa |
  owl.translations.ltl2dpa |
  owl.translations.ltl2dra |
  owl.translations.ltl2ldba |
  owl.translations.ltl2nba |
  owl.translations.mastertheorem |
  owl.translations.modules |
  owl.translations.nba2dpa |
  owl.translations.nba2ldba |
  owl.translations.rabinizer | A translation from LTL to tDGRA.
  owl.util |
  owl.util.annotation |