Packages 
Package Description
jhoafparser.extensions
Extensions and fixes for the jhoafparser library.
owl
This package and its subpackages contains various things.
owl.automaton
This package and its subpackages contain the infrastructure for omega automata.
owl.automaton.acceptance  
owl.automaton.acceptance.degeneralization  
owl.automaton.acceptance.optimization  
owl.automaton.acceptance.transformer  
owl.automaton.algorithm  
owl.automaton.algorithm.simulations  
owl.automaton.determinization  
owl.automaton.edge  
owl.automaton.hoa  
owl.automaton.minimization  
owl.automaton.symbolic
This package and its subpackages contain the infrastructure for omega automata.
owl.bdd  
owl.bdd.jbdd  
owl.cinterface  
owl.collections  
owl.command  
owl.game  
owl.game.algorithms  
owl.game.output  
owl.grammar  
owl.logic.propositional  
owl.logic.propositional.sat  
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.translations  
owl.translations.canonical  
owl.translations.delag  
owl.translations.dra2dpa  
owl.translations.ltl2dela  
owl.translations.ltl2dpa  
owl.translations.ltl2dra
Contains the translation from linear temporal logic to deterministic Rabin automata described in "S19" (Bibliography.DISSERTATION_19).
owl.translations.ltl2ldba
Contains translations from linear temporal logic to limit-deterministic Büchi automata.
owl.translations.ltl2nba
Contains the translation from linear temporal logic to nondeterministic Büchi automata described in "S19" (Bibliography.DISSERTATION_19).
owl.translations.mastertheorem
Provides the implementation of the Master Theorem as well as an efficient normalisation procedure for linear temporal logic.
owl.translations.nba2ldba  
owl.translations.nbadet
Contains the translation from non-deterministic Büchi automata to deterministic parity automata described in "LP19b" (Bibliography.ICALP_19_1) with optimisations from "LP19a" (Bibliography.ATVA_19).
owl.translations.rabinizer
A translation from LTL to tDGRA.
owl.util  
owl.util.annotation  
picocli