LTL, PL and PB formula-tree

An initial version of the library. Constructs a tree for the following formulae

• Linear Temporal
• Propositional
• Pseudo-Boolean